TypeSafe steps out of stealth
TypeSafe’s official launch announcement introduces the lab and points builders to Jev. It includes Diogo Almeida’s launch film and original introduction.
A FIELD GUIDE TO JEV / VOL. 01
The best of Jev. Real projects, practical guides and ideas from across the internet.
TypeSafe’s official launch announcement introduces the lab and points builders to Jev. It includes Diogo Almeida’s launch film and original introduction.
TypeSafe announces public access to Jev without a waiting list. The official console is the starting point for trying typed decisions in your own application.
x.comJev opens to everyoneExplore this project ↗Diogo Almeida introduces Jev, TypeSafe’s structured decision model. Watch the launch film and explore the original thread for the model’s approach, examples and author-reported performance.
TypeSafe highlights Jev’s typed-output approach: applications provide state and questions, then act on probabilities, choices or scores. The linked announcement also covers the Venice API integration.
x.comAnswers your code can useExplore this project ↗Four official signals. A fresh starting point on each visit.
714 resources
AI-assisted summaries and translations. Check original sources for context and performance claims.
Async Python client for TypeSafe Jev. Typed questions in, probabilities and choices out, no prose to parse.
github.comAboveColin/jevclientExplore this project ↗Source-linked curation
Fast, cheap judgment for AI coding agents: semantic search, focused reads and list picking in ~2s. CLI + MCP server on TypeSafe Jev. Benchmarked on SWE-bench.
github.comBentlybro/siftrExplore this project ↗Source-linked curation
Jev vs Gemini 3.8 Flash: labelling 1,000 app reviews, 4.1× faster and 7× cheaper.
github.comgoodrahstar/jev-column-raceExplore this project ↗Source-linked curation
Jev DSH 决策引擎|面向 Agent Harness 的结构化决策插件。原生支持 DeepSeek Harness,通过 iPolloWork 支持 OpenCode、Codex Harness。
github.comDevin-AXIS/jev-dsh-decisionExplore this project ↗Source-linked curation
Control a real browser by voice. Jev (TypeSafe System One) decides intent + target in ~300 ms per spoken word; Playwright acts — often before you finish the sentence.

Source-linked curation
Typed decisions from a System One model. An uncertain answer is a different type from a confident one — and the compiler makes you handle it.
github.comqddegtya/qualmExplore this project ↗Source-linked curation
看看 Jev 能做什么:用中英文讲清热门应用、工作原理和各自优缺点。Explore Jev apps with plain-language examples, explanations, and comparisons.
github.comJackZeng/Jev_appsExplore this project ↗Source-linked curation
TypeSafe AI Jev judgments for Agent Zero, with typed tools and probability cards.
github.com3clyp50/a0-typesafe-aiExplore this project ↗Source-linked curation
Independent calibration test of TypeSafe's Jev on a task it cannot have seen: 900 rule-generated support tickets (choice / score / boolean) plus 3 public benchmarks via Vercel AI Gateway. Raw responses, ECE with noise floor, temperature refit, per-type sign of miscalibration. Reproducible for ~$0.06.
github.comscienthoon/jev-ood-calibrationExplore this project ↗Source-linked curation
MCP server for TypeSafe Jev: typed classify, score, check, match and screen for any agent, with confidence on every answer.
github.comblakestone-x/jev-mcpExplore this project ↗Source-linked curation
PiJev: a terminal coding agent with Jev in the loop — Jev ranks the repository's files before the first call, picks skills and triages failures; your coding model writes the code. Built on Pi.
github.comtonyzdev/pijevExplore this project ↗Source-linked curation
Input moderation for Mastra agents on TypeSafe Jev — one file.
github.comCodeAlive-AI/mastra-jev-moderationExplore this project ↗Source-linked curation
OpenTelemetry Collector connector that uses Jev to assess metric metadata and apply retention policies before export.
github.comishantanu/jevmetricsExplore this project ↗Source-linked curation
A Stop hook that stops your coding agent from stopping too early. Plain-language rules, judged by jev.
github.comnoplan-inc/limpetExplore this project ↗Source-linked curation
Offline Obsidian search with optional Jev reranking of results, requiring user approval before reranking.

Source-linked curation
Marketing analytics platform whose feature flag routes brand-visibility classifiers off an LLM and onto Jev boolean decisions.

Source-linked curation
A prose linter that sniffs out AI writing tells. Zero dependencies, countable rules plus one judgment model.

Source-linked curation
An idiomatic Elixir client for the TypeSafe AI API.
github.commattneel/typesafeExplore this project ↗Source-linked curation
Pi coding-agent extension: TypeSafe Jev checks for tool calls, tool outputs and replies (prompt injection, approvals, secret scrubbing, task pinning).
github.comharshwasan/pi-jev-sentinelExplore this project ↗Source-linked curation
Reusable GitHub Action: agent fix loop gated by checks, an AI reviewer, and TypeSafe Jev.
github.comRipwords/agent-gate-loopExplore this project ↗Source-linked curation
An agent system that makes one Jev decision per computational step.

Source-linked curation
A polished OpenAI + TypeSafe Jev terminal interface for answers with transparent decision reports.
github.comhaseeb-heaven/jev-system-oneExplore this project ↗Source-linked curation
FUn little experiment with Typesafe AI Jev Model playing chess against stockfish :).
github.comDimesio/typesafe-chessExplore this project ↗Source-linked curation
Pre-install security gate for npm lifecycle scripts using TypeSafe System One.
github.comhemanth/pkg-gateExplore this project ↗Source-linked curation
Reversible context pruning for Pi, powered by TypeSafe Jev. Keep useful context without deleting session history.
github.comkevinpita/pi-jev-contextExplore this project ↗Source-linked curation
One grounded Jev/Playwright core: typed SDK, persistent CLI, and MCP server with native browser operations and deterministic assertions.

Source-linked curation
Codex plugin: verbatim Jev-guided context restoration around session compaction. Port of tamaratran/fast-jev-compaction to Codex lifecycle hooks.
github.comleonaaardob/fast-dev-compactionExplore this project ↗Source-linked curation
Cost-aware LLM router that picks the cheapest model capable of handling a query, using TypeSafe's Jev for fast classification instead of an LLM call.
github.comrajdhakad9826/jev-routerExplore this project ↗Source-linked curation
Claude Code Stop hook that blocks an unverified done: reads the transcript for evidence, asks Jev once, fails open on everything else.
github.comvalentynkit/jev-belayExplore this project ↗Source-linked curation
Fork of OpenPoke where the yes/no decisions go to Jev instead of Claude Sonnet, with a same-inputs A/B against the replaced LLM decision and a 43,776-request adversarial run on the injection gate.
github.com0xShin0221/openpoke-meets-jevExplore this project ↗Source-linked curation
Visual Jev lab for multiple games and emulator platforms.
github.comshantanugoel/jev-gamesExplore this project ↗Source-linked curation
Guardrails for Pi built on pi-typesafe that steer the agent instead of interrupting you: Jev judges irreversible and off-task tool calls, detects stuck loops, checks unverified done claims, flags slop.
github.comDevMortimer/pi-wardenExplore this project ↗Source-linked curation
Live verdict page: feeds Jev the day’s Florida Man, odd-news, politics and world headlines and asks all three primitives whether AI should kill us all, refreshed every ten minutes.
github.comhellogumbo/should-ai-kill-us-allExplore this project ↗Source-linked curation
A simple Spring Boot 4 starter for TypeSafe Jev using Spring MVC and RestClient.
github.comdanvega/jev-spring-boot-starterExplore this project ↗Source-linked curation
Minecraft mod where Jev tries to finish the game from scratch without a scripted route.
github.comHardel-DW/jev.modsExplore this project ↗Source-linked curation
Classify Git commit diffs and messages with Jev. Bug fixes, security fixes/CWEs, and change types.
github.comdevanshbatham/commit-minerExplore this project ↗Source-linked curation
Go SDK for the TypeSafe AI API — typed questions in, probability distributions out.
github.comTangerg/typesafe-sdk-goExplore this project ↗Source-linked curation
A developer project for lead scoring in Clay using Jev.
github.compromptgtm-shared/clay-jev-people-rankerExplore this project ↗Source-linked curation
Async LangGraph workflow that gets a typed Jev Choice (invoice or general) and routes each inbound email to the matching handler.
github.comGiesN/typesafe-jev-workflowExplore this project ↗Source-linked curation
An agent project aimed at reducing token usage for coding agents via an MCP server.

Source-linked curation
A self-hosted skills library with optional Jev recommendations.

Source-linked curation
Semantic GitHub PR labels using Jev's typed decisions, with conceptual scope instead of line counts.

Source-linked curation
AI life-and-civilization simulation: TypeSafe Jev makes every decision (typed, probabilistic, auditable); LLMs plan — OpenAI-compatible APIs, local models (Ollama, LM Studio), Claude Code, Codex.
github.comJacquesGariepy/ORIGIN-CIVILIZATIONExplore this project ↗Source-linked curation
Predict another skill's next closed decision with TypeSafe Jev — without running that skill.
github.comDanielKillenberger/jev-predict-skillExplore this project ↗Source-linked curation
Self-hosted AI email classifier for Gmail powered by Jev. Create custom labels, organize your inbox, and filter spam with confidence and cost controls.
github.comilyamk/jev-gmail-ai-spam-filter-and-labelingExplore this project ↗Source-linked curation
A developer project where Jev filters tool results before model processing, aiming to improve efficiency in agent systems.
github.comAstro-Han/jev-harnessExplore this project ↗Source-linked curation
Chrome-devtools-mcp plus one tool: Jev walks the browser to the right spot, then your agent makes a single devtools call there.
github.comrashedInt32/jev-reachExplore this project ↗Source-linked curation
The first general-purpose System One agent for Jev.
github.comrunta-dev/jotExplore this project ↗Source-linked curation
Evaluating TypeSafe's System One primitives (Choice/Score/Noul) — where a typed oracle beats an LLM call.
github.comtrophee-bot/typesafe-oraclesExplore this project ↗Source-linked curation
A word-level language model whose output layer is Jev: n-gram drafter, Noul chunk verification, bits-per-token eval.
github.comy0usaf/jev-lmExplore this project ↗Source-linked curation
A mahjong coach that uses Jev to suggest tiles to discard in Japanese.

Source-linked curation
An open-source project aiming to develop a Jev-class decision model for research purposes.
github.comSiliconLabAI/OpenJevExplore this project ↗Source-linked curation
A developer project generating paintings based on Jev's pixel probability calculations, collected for the tools shelf.

Source-linked curation
Write Cucumber tests with just the .feature file. No step definitions — Jev (TypeSafe AI) resolves each Gherkin step and Playwright runs it.

Source-linked curation
Ask your Postgres tables questions in plain language. A PostgreSQL extension powered by TypeSafe's Jev.
github.comrealZachi/pg-jevExplore this project ↗Source-linked curation
Jev Gamecast: replay-first React app that asks Jev typed questions about live sports data.
github.comnarulaskaran/jev-data-questionsExplore this project ↗Source-linked curation
Sort by meaning: order lines along a plain-English dimension, from pairwise comparisons judged by TypeSafe's Jev model.
github.comkeltokhy/jsortExplore this project ↗Source-linked curation
Go CLI and single-binary MCP server exposing TypeSafe judgments to Claude Desktop, Claude Code, and Codex.

Source-linked curation
Curated catalog of System One / Decision Models — contributions for modelsystem.one.
github.comfabricioctelles/modelsystemExplore this project ↗Source-linked curation
Browser automation where an LLM plans and Jev (Typesafe System One) decides. Library, CLI and MCP server.

Source-linked curation
A curated list of public projects, integrations, and discussions built on Jev — TypeSafe AI's System One model for typed decisions.

Source-linked curation
Pokemon Red on PyBoy where code owns the route and the arithmetic, Jev only picks at branches, and every battle turn's faint prediction is scored by Brier against RAM state.
github.comvalentynkit/jev-plays-pokemon-redExplore this project ↗Source-linked curation
A Chrome extension that covers distracting YouTube videos with Jev. Show anyway whenever you want.
github.comjaibhasin/jev-yt-time-saverExplore this project ↗Source-linked curation
Typed-decision benchmark from PadFlow (land development SaaS): schemas, anonymized labeled rows, and a runner for confidence-calibrated models like TypeSafe Jev.
github.comzsavage8/padflow-jev-evalsExplore this project ↗Source-linked curation
Autonomous System-One Triage Engine & Benchmark powered by TypeSafe AI (Jev). 75ms inference, $0 output tokens, and RLCD epistemic safety gates.
github.comsysadarsh/zerosweepExplore this project ↗Source-linked curation
Browser Use Olympics by Almond: one prompt, five events, one clock. Plus fast loop, a ~200-line browser computer-use agent (Chrome DevTools + TypeSafe Jev).
github.comeriestra/browser-use-olympicsExplore this project ↗Source-linked curation
A deterministic model routing system for coding agents with a skill for Codex.

Source-linked curation
TypeSafe Jev plays original Civilization II in a browser, with live action probabilities. Experimental full-game harness.
github.comphyous/tsai-civ2Explore this project ↗Source-linked curation
Agent-ergonomic CLI for TypeSafe's Jev: fast calibrated judgments (pick, rate, check, rank, triage, guard) from the shell.

Source-linked curation
Never confidently wrong: a TLA+-verified consensus kernel around TypeSafe's Jev, run through 1,680 chaos-tested pharmacy decisions with zero wrong verdicts. Film, code, and every captured call.
github.comcopyleftdev/jev-labsExplore this project ↗Source-linked curation
CLI and agent skill for TypeSafe System One (Jev): typed Choice, Score, and Noul judgments.
github.comgeilt/typesafe-cliExplore this project ↗Source-linked curation
Configurable semantic linting powered by Jev, with file-level NOUL judgments and a magic-strings plugin.
github.comhuntedman/JevLintExplore this project ↗Source-linked curation