# Typesafe

> Use when data, runtime values, types, contracts, and allowed operations must stay aligned.

- Skill: `nmnmcc/typesafe` (Agent Skill, multi-file: 3 files)
- Install (CLI): `npx skillmds@latest add nmnmcc/typesafe`
- Raw SKILL.md: https://api.skillmd.com/api/skills/nmnmcc/typesafe/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools, Integrations & APIs
- Author: nmnmcc (https://skillmd.com/u/nmnmcc)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/nmnmcc/typesafe

---


# TypeSafe

Keep a value's meaning intact from its source to its final use. Make invalid states hard to represent where practical, and match every claimed guarantee to a type, contract, or runtime check that actually supports it.

1. Trace the value across boundaries and transformations.
2. Identify the source of truth for its shape and meaning.
3. Use the project's native types, schemas, and validation at the narrowest boundary.
4. Check both accepted values and important rejected or missing values.

Read [the detailed guide](references/guide.md) for generic APIs, schema design, migrations, or type/runtime gaps.