Agent Skill

Typesafe AI skill

typesafe-aitypesafe-ai/skillsskills/typesafe-ai/SKILL.md

Build AI-powered software with TypeSafe: small units of AI intelligence you can use like programming primitives. Its System One models, including Jev, turn natural language and application state into typed judgments and probabilities that code can combine. Use when a feature needs programmable common sense, when brainstorming what AI could make possible in an app, or when an LLM prompt-and-parse step could become a structured decision. Applications include routing, ranking, extraction, verification, and interactive experiences; these are starting points, not the limits. Read live docs and cookbooks to find useful patterns and discover new combinations.

2.8kMIT

always on

123 tokname + description

once used

1,917 tokSKILL.md body

bundled files

11 KB

installs

94kskills.sh

Install the Typesafe AI skill

Skills CLI (Claude Code, Codex, Cursor and others)

npx skills add https://github.com/typesafe-ai/skills --skill typesafe-ai

Claude Code, by hand (all projects)

git clone --depth 1 https://github.com/typesafe-ai/skills.git /tmp/skills
mkdir -p ~/.claude/skills
cp -R /tmp/skills/skills/typesafe-ai ~/.claude/skills/typesafe-ai

For one project only, copy the folder into .claude/skills/ in that project instead. The agent picks it up when a task matches its description.

What it costs your context

Agent Skills load in three steps. Tokens counted with the o200k tokenizer; your model's count will differ a little.

When	What loads	Cost
Every session	Name and description	123 tok
When the agent uses it	The SKILL.md instructions	1,917 tok
Only if opened	1 bundled files (1 KB)	varies

Until it is used, typesafe-ai costs about 11× less than the median MCP server we measured (1,362 tokens on every turn). Skills vs MCP study

Checks

Our checks found nothing to flag: it follows the Agent Skills specification's naming and size guidelines and doesn't pipe downloads into a shell.

Checked 2026-10-22 · method

What's inside

The headings of its SKILL.md. Read the full file on GitHub.

Build with TypeSafe
Read the live docs
Find the useful shape
Design the judgments
Compose and verify