soundness-traps
✓Use when types don't match runtime values. Use when TypeScript misses errors. Use when understanding type system limits.
SKILL.md
TypeScript is not sound - runtime values can diverge from static types.
"Soundness" means static types always match runtime values. TypeScript intentionally trades some soundness for convenience. Know the common traps.
This is unsound but convenient. Checking bounds at every access would be tedious.
Use when types don't match runtime values. Use when TypeScript misses errors. Use when understanding type system limits. Source: marius-townhouse/effective-typescript-skills.
Facts (cite-ready)
Stable fields and commands for AI/search citations.
- Install command
npx skills add https://github.com/marius-townhouse/effective-typescript-skills --skill soundness-traps- Category
- </>Dev Tools
- Verified
- ✓
- First Seen
- 2026-02-05
- Updated
- 2026-02-18
Quick answers
What is soundness-traps?
Use when types don't match runtime values. Use when TypeScript misses errors. Use when understanding type system limits. Source: marius-townhouse/effective-typescript-skills.
How do I install soundness-traps?
Open your terminal or command line tool (Terminal, iTerm, Windows Terminal, etc.) Copy and run this command: npx skills add https://github.com/marius-townhouse/effective-typescript-skills --skill soundness-traps Once installed, the skill will be automatically configured in your AI coding environment and ready to use in Claude Code or Cursor
Where is the source repository?
https://github.com/marius-townhouse/effective-typescript-skills
Details
- Category
- </>Dev Tools
- Source
- skills.sh
- First Seen
- 2026-02-05