
SkillTools and apps
TypeSafe agent skills
The official skill for building with Jev, installable with one command.
TypeSafe AI
215Updated Sep 18, 2026
Projects, posts and guides about Jev, the System One model from TypeSafe AI. Each entry links to its source and shows the cost and speed its author reported.

Diogo Almeida
@CompleteSkeptic
After co-inventing ChatGPT, I kept asking myself: why have superhuman chat models not led to AGI? I’ve spent the last 2 years in stealth building a new way to train models (RLCD), and a new type of frontier AI model that we are releasing today: Jev • 20-200x faster • 40-400x cheaper (w/ output tokens free) • Frontier composable intelligence optimized for decisions AFAICT the shortest path to AI-based economic revolution

SkillTools and apps
The official skill for building with Jev, installable with one command.
TypeSafe AI
215

SkillTools and apps
A Rust CLI where Jev ranks agent skills for the next step.
Jeff Emanuel
44
SkillTools and apps
Routes which agent skill runs, with typed Jev decisions and confidence.
Dewaldt Huysamen

SkillTools and apps
An agent skill that sends a coding agent’s closed judgments to Jev.
HyunjunJeon

SkillTools and apps
Split a judgment into Choice, Score and Noul, lint it, then measure it.
Shingo Imota

SkillTools and apps
An agent skill for designing systems around Jev’s judgments.
Basit Mustafa

SkillTriage and routing
Deterministic model routing for coding agents, with a skill for Codex.
Instructa

SkillTools and apps
A skills framework for coding agents, with Jev gates and vetting.
Akash Priyadarshi

SkillTools and apps
A skill for writing and fixing programs that call Jev.
Drew Breunig
86Sponsors

SkillAgents and browsers
A Codex skill: Jev clicks, Codex thinks and checks the result.
coliney
~5–10×Skills a coding agent loads to work with Jev. Some teach the agent to write programs that call Jev. Others give Jev the agent’s closed decisions, such as which skill or model to use next.
11 builds