Skip to content
appsgit

Typesafe AI

Typesafe AI is an agent skill (a SKILL.md file) from typesafe-ai/skills. Build AI-powered software with TypeSafe: small units of AI intelligence you can use like programming primitives. It works with Claude Code and has 2,611 GitHub stars. Install it by copying the skill folder into your agent's skills directory.

github.com/typesafe-ai/skills/skills/typesafe-ai (opens in a new tab)

Add this skill

Claude

This repository is a Claude Code plugin marketplace. In Claude Code:

/plugin marketplace add typesafe-ai/skills
/plugin install typesafe@typesafe-ai

In the Claude apps, zip the typesafe-ai folder and upload it under Customize > Skills > + > Upload a skill (code execution must be on).

ChatGPT / Codex

Codex reads skills from .agents/skills/ in a repo or ~/.agents/skills/ for every project:

git clone --depth 1 https://github.com/typesafe-ai/skills.git
cp -r skills/skills/typesafe-ai .agents/skills/typesafe-ai   # repo; ~/.agents/skills for all projects

Standalone skills also load in the ChatGPT desktop app.

Cursor

Cursor loads skills from .cursor/skills/ (or ~/.cursor/skills/) and also reads .claude/skills/:

git clone --depth 1 https://github.com/typesafe-ai/skills.git
cp -r skills/skills/typesafe-ai .cursor/skills/typesafe-ai   # project; ~/.cursor/skills for all projects

Source (checked Oct 7, 2026): code.claude.com/docs/en/skills (opens in a new tab), code.claude.com/docs/en/plugin-marketplaces (opens in a new tab), support.claude.com/en/articles/12512180-using-skills-in-claude (opens in a new tab), learn.chatgpt.com/docs/build-skills (opens in a new tab), cursor.com/docs/context/skills (opens in a new tab)

What this skill does

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.

When it triggers

  • 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.

FAQ

Typesafe AI FAQ

Still curious? Email info@appsgit.com.

What is the Typesafe AI skill?

Typesafe AI is an agent skill (a SKILL.md file) from typesafe-ai/skills. Build AI-powered software with TypeSafe: small units of AI intelligence you can use like programming primitives. It works with Claude Code and has 2,611 GitHub stars. Install it by copying the skill folder into your agent's skills directory. Its SKILL.md lives at github.com/typesafe-ai/skills/skills/typesafe-ai.

How do I install the Typesafe AI skill?

In Claude Code, run /plugin marketplace add typesafe-ai/skills and then /plugin install typesafe@typesafe-ai. For Codex or Cursor, copy the typesafe-ai folder into .agents/skills/ or .cursor/skills/.

Is the Typesafe AI skill free?

Yes. The repository is open source under the MIT license.

Is Typesafe AI maintained?

The repository's most recent commit was on Sep 12, 2026. appsgit only lists skills from repositories with a commit in the last six months.