About typesafe
A development skill for preserving a value’s meaning across its source, transformations, and final use. It helps developers use project-native types and validation, then check accepted and rejected inputs.
Key features
- 01Trace values across boundaries
- 02Identify the source of truth
- 03Use native types and schemas
- 04Check accepted and rejected inputs
Use cases
- 01Validating data at system boundaries
- 02Designing schemas and generic APIs
Install
Copy the command and run it in a terminal.
$
npx skills add https:/ / github.com/ nmnmcc/ skills --skill typesafeAfter installing, type/typesafein Claude Code to confirm it loaded.
Bundled filesagents/openai.yamlreferences/guide.md
Details
From the project READMETypeSafe
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.
- Trace the value across boundaries and transformations.
- Identify the source of truth for its shape and meaning.
- Use the project's native types, schemas, and validation at the narrowest boundary.
- Check both accepted values and important rejected or missing values.
Read the detailed guide for generic APIs, schema design, migrations, or type/runtime gaps.
Comments
Markdown supported