Publicación de lanzamiento de Jev
Diogo Almeida presenta Jev, el modelo de decisión estructurado de TypeSafe. Vea el film de lanzamiento y explore el hilo original para el enfoque del modelo, ejemplos y rendimiento informado por el autor.
Latest addition
Source check
Recent activityA FIELD GUIDE TO JEV / VOL. 01
Lo mejor de Jev: proyectos reales, guías prácticas e ideas de toda la web.
Diogo Almeida presenta Jev, el modelo de decisión estructurado de TypeSafe. Vea el film de lanzamiento y explore el hilo original para el enfoque del modelo, ejemplos y rendimiento informado por el autor.
El anuncio oficial de lanzamiento de TypeSafe presenta el laboratorio y orienta a los desarrolladores a Jev. Incluye el film de lanzamiento de Diogo Almeida y su introducción original.
TypeSafe anuncia el acceso público a Jev sin lista de espera. La consola oficial es el punto de partida para probar decisiones tipadas en su propia aplicación.
TypeSafe destaca el enfoque de salida tipada de Jev: las aplicaciones proporcionan estado y preguntas, luego actúan sobre probabilidades, elecciones o puntajes. La anunciación vinculada también cubre la integración de la API de Venice.
Start with the Launch Post. Explore four official signals.
714 recursos
AI-assisted summaries and translations. Check original sources for context and performance claims.
A supervised Mint client for the TypeSafe AI System One API.
github.comhfiguera/typesafe_aiVer proyecto ↗Source-linked curation
A CLI and GitHub Action that assesses code-change risk using deterministic rules and TypeSafe Jev, recommending checks and reviewers before merge.
github.commoezubair/check-riskVer proyecto ↗Source-linked curation
A tool enhancing zsh autosuggestions with Jev-based ranking instead of prefix matching.

Source-linked curation
Jev-powered model routing, memory, compaction, skill selection, computer and browser use for Hermes agents (also Claude Code and Codex).
github.comkerpopule/hermes-jev-skillsVer proyecto ↗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-labsVer proyecto ↗Source-linked curation
A developer project integrating Home Assistant with Jev for processing user input without an LLM.
github.comallenporter/home-assistant-typesafeVer proyecto ↗Source-linked curation
Jev-powered browser MCP for LLM agents — ~300ms decisions, no LLM tokens in the loop. Benchmark vs Playwright MCP included.
github.comMahmoudAdelbghany/jev-browserVer proyecto ↗Source-linked curation
Semantic test matchers for Vitest and Jest, powered by TypeSafe's Jev model. Write expectations in plain English, get calibrated probabilities back.
github.comrealZachi/jevtestVer proyecto ↗Source-linked curation
A small reproducible MuJoCo pilot comparing Jev, Claude Haiku, and reactive rules for pick-and-place.
github.comtryaksh/jev-pick-and-place-studyVer proyecto ↗Source-linked curation
Offline Obsidian search with optional Jev reranking of results, requiring user approval before reranking.

Source-linked curation
Idiomatic Java SDK for TypeSafe AI Jev System One decision engine.
github.comOlti1947/jev-javaVer proyecto ↗Source-linked curation
Chrome extension: vibe-check your X posts with TypeSafe's Jev before you hit Post.
github.comRafalWilinski/vibecheckVer proyecto ↗Source-linked curation
Autonomous PlayStation 2 AI Agent with real-time visual telemetry HUD powered by TypeSafe Jev System One.
github.comopaielsheikh/ps2-ai-agentVer proyecto ↗Source-linked curation
Can Jev pick the winner of a real headline A/B test? 64.5% across 10,984 Upworthy randomized experiments, 74.7% when the difference was decisive.
github.comGaurav-Gosain/jev-headline-benchVer proyecto ↗Source-linked curation
Unofficial Go client for TypeSafe's System One API and its model, Jev.
github.comanilsenay/jevVer proyecto ↗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-reachVer proyecto ↗Source-linked curation
Throw in a pile of company files and get them classified and organized by department, type, sensitivity, date, counterparty and PII, with an index for AI agents. Powered by TypeSafe's Jev on OpenRouter (17¢ per 1,000 files). Zero-dependency Node CLI + Claude skill + Codex agent.
github.comnexibeo/jev-organizeVer proyecto ↗Source-linked curation
Sub-second Git pre-commit & pre-push semantic reflex gate powered by TypeSafe AI Jev.
github.comAkashPriyadarshii/jev-gitVer proyecto ↗Source-linked curation
Chrome dino game played by Typesafe AI Jev model.
github.comjoshlarsen/jev-t-rex-runnerVer proyecto ↗Source-linked curation
Jev vs Gemini 3.8 Flash: labelling 1,000 app reviews, 4.1× faster and 7× cheaper.
github.comgoodrahstar/jev-column-raceVer proyecto ↗Source-linked curation
A developer project providing a local MCP server for running pre-made Jev question packs.

Source-linked curation
Typed, confidence-aware agent skill routing with TypeSafe Jev.

Source-linked curation
EmbodiedJev: MuJoCo robot decision workbench with MiniCPM5-2B, Jev and compatible model APIs.
github.comFBddcz/embodied-jevVer proyecto ↗Source-linked curation
Route tasks to research/code/browser/support/writer agents via TypeSafe Jev.
github.comndolinschi/swarmrouterVer proyecto ↗Source-linked curation
A chatbot built on a model that cannot generate text (TypeSafe AI's Jev, driven autoregressively).
github.comBewinxed/jevgptVer proyecto ↗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-mcpVer proyecto ↗Source-linked curation
Reversible context pruning for Pi, powered by TypeSafe Jev. Keep useful context without deleting session history.
github.comkevinpita/pi-jev-contextVer proyecto ↗Source-linked curation
A mahjong coach that uses Jev to suggest tiles to discard in Japanese.

Source-linked curation
AskJev — Jev autopilot for any website + guard on irreversible clicks (TypeSafe System One, not Claude).
github.comranjan2829/AskJevVer proyecto ↗Source-linked curation
A console project where Jev dynamically selects the design system at runtime for tools and apps.
github.combilune/jev-designVer proyecto ↗Source-linked curation
A source-backed Jev project directory with a reusable Jev-only GitHub review workflow.

Source-linked curation
Jev (TypeSafe) exploratory thread: claim audit, live demos, and runnable code.
github.comSamuelSacco/jev-explorationVer proyecto ↗Source-linked curation
Go client for TypeSafe's System One API and its model Jev: typed judgments and calibrated probabilities instead of generated text.
github.comGaurav-Gosain/jev-goVer proyecto ↗Source-linked curation
A staged code-review workflow and local dashboard built with TypeSafe Jev.

Source-linked curation
2D autonomous car simulation in the browser, driven by TypeSafe's Jev decision model.
github.comvinilana/live-jevVer proyecto ↗Source-linked curation
Voice-driven semantic auto-advance for Slidev, powered by Cloudflare Agents and TypeSafe AI Jev.
github.comharshil1712/slidepilotVer proyecto ↗Source-linked curation
Zod validates the shape, Jev validates the meaning: semantic checks on request bodies become calibrated probabilities you threshold in code.
github.comjomatsu/zod-jevVer proyecto ↗Source-linked curation
Fast structured Android control loops with TypeSafe Jev and Mobile MCP.

Source-linked curation
Jev adapter to Mellea.
github.comSoundBlaster/Jev4MelleaVer proyecto ↗Source-linked curation
End-to-end Jev-style structured-decision stack for auditable data construction, Qwen3.5-0.8B training, fixed Mind2Web and OOD evaluation, preliminary RLCD, local serving, and interactive replay.
github.comzwliJay/jev-forgeVer proyecto ↗Source-linked curation
A small Next.js app for experimenting with TypeSafe AI's Jev model (System One).
github.comLittle-Planet-Labs/jev-playgroundVer proyecto ↗Source-linked curation
Match user goals to MCP catalog (two-stage) via TypeSafe Jev.
github.comndolinschi/mcpmatchVer proyecto ↗Source-linked curation
Curated catalog of System One / Decision Models — contributions for modelsystem.one.
github.comfabricioctelles/modelsystemVer proyecto ↗Source-linked curation
CLI and agent skill for TypeSafe System One (Jev): typed Choice, Score, and Noul judgments.
github.comgeilt/typesafe-cliVer proyecto ↗Source-linked curation
Small dependency-free CLI for TypeSafe Jev.
github.comtumf/jev-cliVer proyecto ↗Source-linked curation
Neovim popup for jev-lens verdicts: do I need to look, which files, and strip the debris.
github.comrashedInt32/jev-lens.nvimVer proyecto ↗Source-linked curation
Community Java client for the TypeSafe System One API (unofficial).
github.comPremo-Cloud/typesafe-sdk-javaVer proyecto ↗Source-linked curation
A playground for TypeSafeAI's Jev Model.
github.comDeepBlueDynamics/typesafe-arenaVer proyecto ↗Source-linked curation
A self-hosted skills library with optional Jev recommendations.

Source-linked curation
A developer project that converts vague agent requests into deterministic commands for improved reliability.
github.comNiazMorshed2007/jcrVer proyecto ↗Source-linked curation
A developer project focused on bug-bounty chain tools, with Jev gating each step in the process.
github.comundeemed/JcyberVer proyecto ↗Source-linked curation
Sort by meaning: order lines along a plain-English dimension, from pairwise comparisons judged by TypeSafe's Jev model.
github.comkeltokhy/jsortVer proyecto ↗Source-linked curation
Snake auto-played by TypeSafe's Jev model: one System One choice per tick, legal moves and facts generated in code.
github.comsorrycc/typesafe-snakeVer proyecto ↗Source-linked curation
Route HTTP requests by meaning. A semantic router for Hono powered by Jev.
github.comyusukebe/hono-jev-routerVer proyecto ↗Source-linked curation
A chatbot project that responds to typed questions, part of a research collection.
github.comkyle-pena-nlp/jevchatVer proyecto ↗Source-linked curation
A developer project offering semantic code search for coding agents, benchmarked on SWE-bench Lite.

Source-linked curation
Put your code comments on trial. Powered by Jev.
github.comntedvs/commentcopVer proyecto ↗Source-linked curation
Typed decisions with TypeSafe's Jev, the first System One model.
github.comvalentynkit/awesome-jev-typesafeVer proyecto ↗Source-linked curation
JevNoiseGate filters unwanted notifications and SMS on Android. Rather than matching keywords, an LLM decides what's noise — and only what it explicitly flags is blocked. Verification codes are matched on-device and never uploaded; anything uncertain passes through.
github.comufec/jev-block-android-adVer proyecto ↗Source-linked curation
A developer project generating paintings based on Jev's pixel probability calculations, collected for the tools shelf.

Source-linked curation
Jev (TypeSafe System One) backed auto mode for the Pi coding agent: semantically auto-approves bash, write, and edit tool calls and fails closed when a decision cannot be made.
github.comjomatsu/pi-jev-auto-modeVer proyecto ↗Source-linked curation
A .NET 10 and React 19 application for fast, structured AI-powered ticket triage using TypeSafe Jev.
github.comGhrezaKh74/JevTicktRouterVer proyecto ↗Source-linked curation
A tool ranking Pi agent skills for specific tasks using Jev's evaluation capabilities.
github.comsafzanpirani/pi-jev-skill-pickerVer proyecto ↗Source-linked curation
A developer tool for decision runtime with zero-token caching and a calibrator, collected for the tools shelf.
github.comseb4ez/jevguardVer proyecto ↗Source-linked curation
Links records under a plain-English match rule using Jev Noul pair judgments, with local candidate blocking and match resolution.
github.comkeltokhy/jlinkVer proyecto ↗Source-linked curation
TypeSafe AI (Jev) adversarial reviewer and typesafe_ask tool for the omp coding agent.
github.comsiddicky/omp-typesafeVer proyecto ↗Source-linked curation
Prompt-injection and dangerous-action guard for coding agents (Claude Code, Codex, pi, ACP), powered by Jev.
github.comleepokai/jev-guardVer proyecto ↗Source-linked curation
A chatbot from typed Jev decisions: hierarchical speculative decoding over System One probabilities.
github.comadhyaay-karnwal/jev-chatVer proyecto ↗Source-linked curation
LaneBreak — support ticket priority+routing via TypeSafe Jev.
github.comndolinschi/lanebreakVer proyecto ↗Source-linked curation
Pi extension suite powered by Jev: selective context compaction and model routing.
github.comiefnaf/pi-jevVer proyecto ↗Source-linked curation
A developer project using Jev to play Pokémon Red by typing each turn.

Source-linked curation
Single-agent Pi coding coprocessor with Jev semantic gates, baseline-to-current diff review, and append-only observability telemetry.
github.comKamilPostrozny/pi-jev-codeVer proyecto ↗Source-linked curation