Open-source projects that provably call Jev, TypeSafe AI's System One model. Every entry links to the line of code that proves it. Browse: jevsome.ozersubasi.com
58 verified projects Β· 702 more in the JSON Β· 1,512 search hits examined Β· refreshed 2026-09-18
Deliberately short. Jev is days old and the ecosystem is mostly two-day-old experiments; this list starts with what can be shown to be real and grows from there. The bar is the same for every entry, and it is written down.
- Discovery. GitHub code and repository search, run against the API surface itself. Nothing is copied from another list.
- Proof. The matching file is downloaded and the matching line is located and read. A call to
/v1/systemone, an SDK import, a pinnedjev-latestroute or a declared dependency counts. A README sentence, a comment, a changelog entry, or apackage.jsonwhose own name happens to contain "jev" does not. - Classification. Keyword rules against the section definitions below. The Jev path is wired up and takes over once a
TYPESAFE_API_KEYis configured. - Subject, not support. The repository exists because of Jev: created after the model went public, or naming Jev or TypeSafe in its title, description or topics. Frameworks that predate Jev and added it as one provider among many are kept in the JSON as candidates, not listed here.
- Real code. The proof line is source, not a mock, a recorded cassette or a data file.
- Five stars. Someone besides the author cared. A presentation floor, not a correctness one; it is one number in
pipeline/lib/quality.mjsand will come down as the list matures. - Health. Stars, licence, last commit and demo links are re-checked daily.
Search casts a wide net β "typesafe" matches a lot of repositories that have nothing to do with Jev. Every hit that is not on the list is recorded in data/not-listed.json: 732 where no line of code calling Jev was found, 20 where it was found but the repository is not a project built on Jev. Argue with any of it.
Generated from data/index.json; do not edit by hand. See CONTRIBUTING.md.
π’ pushed in 30 days Β· π‘ 90 days Β· βͺ older Β· π¦ archived Β· π no repository
- SDKs & clients (6)
- Integrations (1)
- Agent tooling (23)
- Browser & computer use (6)
- Applications (10)
- Games & simulation (7)
- Demos & playgrounds (3)
- Benchmarks & research (2)
In this section: A library whose whole purpose is talking to the System One API from one language or runtime: request signing, typed Choice/Score/Noul answers, retries.
Not here: Applications that happen to ship a thin wrapper, and provider adapters that live inside a larger framework (those are integrations).
| Project | What it does | Language | License | Stars | Proof | Status |
|---|---|---|---|---|---|---|
| typesafe-sdk-js | The official TypeScript/JavaScript library for the TypeSafe API | TypeScript | MIT | 101 | src/client.ts:41 | π’ |
| system-one-adapter-python | Drop-in TypeSafeClient replacement backed by LLM APIs | Python | MIT | 98 | tests/cassettes/test_client_with_live_apis/test_live_typesafe_response_matches_reference_shape.json:7 | π’ |
| typesafe-sdk-python | The official Python library for the TypeSafe API | Python | MIT | 70 | tests/test_retry.py:14 | π’ |
| advocaat | A small, type-safe client for asking AI questions about your data, powered by TypeSafe Jev. | TypeScript | MIT | 61 | src/api.ts:219 | π’ |
| typesafe-ai | Typed TypeSafe AI clients for Rust, with async and blocking backends and observable retries. | Rust | Apache-2.0 | 7 | src/config.rs:38 | π’ |
| typesafeai-dotnet-sdk | Community .NET SDK for the TypeSafe AI System One API β typed noul, choice, and score questions with structured, confidence-scored answers. Not affiliated with TypeSafe AI. | C# | MIT | 5 | tests/TypeSafe.Sdk.Tests/ClientBehaviorTests.cs:28 | π’ |
24 more in this section passed the proof check but not the rest of the bar β in data/index.json as candidates.
In this section: An existing framework, platform or product that gained Jev support: a provider, adapter or plugin inside a codebase that is not about Jev.
Not here: Standalone tools built around Jev from the start.
| Project | What it does | Language | License | Stars | Proof | Status |
|---|---|---|---|---|---|---|
| dspy-typesafeify | Add a decorator for dspy Signatures that automatically uses TypeSafe where relevant | Python | MIT | 58 | pyproject.toml:49 | π’ |
11 more in this section passed the proof check but not the rest of the bar β in data/index.json as candidates.
In this section: Tools that sit in an AI agent or developer workflow and use typed decisions to act: tool-call gates, routers, guardrails, MCP servers, code review, CLIs.
Not here: General applications that merely call a model, and browser automation (its own section).
| Project | What it does | Language | License | Stars | Proof | Status |
|---|---|---|---|---|---|---|
| fast-jev-compaction | Claude Code plugin that replaces the compaction summary with Jev decisions: every tool call and result is scored in one fast request, stale ones are dropped or truncated, everything kept stays verbatim. | TypeScript | MIT | 2,191 | src/request.ts:3 | π’ |
| foreman | Software Factory Foreman based on TypeSafe Jev model | Python | MIT | 254 | src/foreman/foreman/jev.py:91 | π’ |
| jev-review | A staged code-review workflow and local dashboard built with TypeSafe Jev. | TypeScript | MIT | 217 | src/review/judgments.ts:2 | π’ |
| skillbox | Self-hosted, versioned skills library for AI agents. MCP, scoped clients, and optional Jev recommendations. | TypeScript | MIT | 135 | src/server/recommendations.ts:129 | π’ |
| jev-router | Route to the cheapest model in claude code for your task using jev-router | JavaScript | MIT | 109 | src/router.mjs:1 | π’ |
| jev-review | Local-first MCP plugin for continuous software-quality review by AI coding agents, powered by Jev. | TypeScript | MIT | 98 | src/jev/client.ts:4 | π’ |
| jev-mcp | Proof of concept MCP for Typesafe's new Jev AI model | TypeScript | MIT | 59 | src/provider.ts:7 | π’ |
| pi-warden | 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 | TypeScript | MIT | 56 | tests/extension.test.ts:113 | π’ |
| typesafe-mcp | mcp connector to give your AI agent direct access to typesafe ai's jev model | Go | MIT | 51 | cmd/evaluate/main.go:107 | π’ |
| pi-jev | TypeSafe Jev as a decision layer for the Pi coding agent: a measured tool-call gate plus jev_ask for typed, calibrated answers | TypeScript | MIT | 37 | src/client.ts:13 | π’ |
| ask-jev-skill | Skill for Hermes, and other agents, to ask typesafe's jev | Python | MIT | 24 | scripts/askjev.py:15 | π’ |
| supercov | Code quality and coverage for coding agents | Rust | MIT | 21 | crates/supercov-cli/src/quality.rs:29 | π’ |
| save-token-jev-clean | Portable, Jev-guided context compaction for coding agents. | TypeScript | MIT | 20 | src/client.ts:5 | π’ |
| agent-router | CLI that picks Cursor, Claude Code, Codex, or OpenCode + model/effort for a task, then launches it. Powered by Jev and Herdr | TypeScript | MIT | 17 | packages/router/src/semantic/task-classifier.ts:1 | π’ |
| hono-jev-router | Route HTTP requests by meaning. A semantic router for Hono powered by Jev. | TypeScript | MIT | 13 | src/index.ts:77 | π’ |
| Jevbridge | ACP and MCP adapter that bridges TypeSafe Jev with any LLM β computer use and typed decisions alongside Codex, Claude, Grok, and OpenCode. | TypeScript | MIT | 11 | src/types.ts:111 | π’ |
| pi-typesafe | TypeSafe decisions for Pi: batched evaluation tool, terminal playground, and typed API for extension authors | TypeScript | MIT | 11 | src/errors.ts:1 | π’ |
| jev-axi | Agent-ergonomic CLI for TypeSafe's Jev: fast calibrated judgments (pick, rate, check, rank, triage, guard) from the shell | TypeScript | MIT | 8 | src/state.ts:2 | π’ |
| pi-jev-auto-mode | 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. | TypeScript | MIT | 8 | src/jev/transport.ts:100 | π’ |
| jev-browser | Browser automation where an LLM plans and Jev (Typesafe System One) decides. Library, CLI and MCP server. | JavaScript | MIT | 7 | src/jev.mjs:8 | π’ |
| jev-mcp | MCP server for TypeSafe Jev: typed classify, score, check, match and screen for any agent, with confidence on every answer | Python | MIT | 7 | tests/test_client.py:7 | π’ |
| JevLint | Configurable semantic linting powered by Jev, with file-level NOUL judgments and a magic-strings plugin. | TypeScript | MIT | 5 | src/jev-client.ts:52 | π’ |
| perch | AST powered semantic code linting with Jev | JavaScript | MIT | 5 | test/systemone.test.js:10 | π’ |
164 more in this section passed the proof check but not the rest of the bar β in data/index.json as candidates.
In this section: Drives a browser, desktop or operating system, deciding what to click, type or do next from page or screen state.
Not here: Scrapers and extensions that never decide an action.
| Project | What it does | Language | License | Stars | Proof | Status |
|---|---|---|---|---|---|---|
| jev-ultrafast | A browser agent with a dynamic, indexed action space. | Python | MIT | 3,969 | jev_ultrafast/model.py:108 | π’ |
| typesafe-computer-use | Computer use for about $0.0002 a step: OCR the screen, classify the next action with TypeSafe, click. macOS. | Python | MIT | 184 | pyproject.toml:26 | π’ |
| mobile-jev | βΆ Watch the demo β Jev opens Uber, enters a route from San Francisco Airport to the Golden Gate Bridge, and reaches payment selection. The recorded task timer shows about 21 seconds for 9 actions. A completed booking is not demonstrated. | JavaScript | MIT | 71 | scripts/mobile-agent/policy.mjs:157 | π’ |
| jev-browser | Browser use using Typesafe's Jev model | TypeScript | MIT | 45 | src/questions.ts:4 | π’ |
| jev-browser-use | 5β10x faster browser operations: Jev clicks, Codex thinks and verifies. Built at EZCollegeApp. | JavaScript | MIT | 17 | skills/jev-browser-use/bridge.mjs:11 | π’ |
| jev-voice-browser | 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. | JavaScript | MIT | 7 | src/jev.js:7 | π’ |
27 more in this section passed the proof check but not the rest of the bar β in data/index.json as candidates.
In this section: A product or hosted service someone uses, where a Jev decision is part of what it does: moderation, triage, matching, scoring, pricing.
Not here: Examples and experiments with no users (those are demos), and internal libraries.
| Project | What it does | Language | License | Stars | Proof | Status |
|---|---|---|---|---|---|---|
| jev-trader | One AI trade decision every Monad block. Jev on Kuru MON-USDC. | TypeScript | MIT | 707 | src/config.ts:32 | π’ |
| unclutter | WXT browser extension: Jev-powered page clutter removal with reusable template rules. | TypeScript | MIT | 62 | lib/jev.ts:6 | π’ |
| typesafe-adblock | π§Ή Fun project: a Chrome extension that asks a tiny AI decision model (TypeSafe Jev) "is this DOM element an ad?" and pops it off the page. BYOK, no backend, not a real ad blocker. | JavaScript | MIT | 40 | src/typesafe.js:5 | π’ |
| youtube-sponsor-detection | Detect youtube sponsor segment with live audio and transcript powered by Jev | JavaScript | β | 28 | test/extension-background.test.js:32 | π’ |
| Jev-Moderation-Bot | A Discord moderation bot built with Python and TypeSafe AI (Jev System One). It filters spam and scam links in real time, escalates offenses automatically, and lets moderators profile members based on their message history. | Python | β | 21 | profiler.py:16 | π’ |
| commit-miner | Classify Git commit diffs and messages with Jev. Bug fixes, security fixes/CWEs, and change types. | Rust | β | 20 | src/cost.rs:17 | π’ |
| jev-shell-history | Fish-style zsh history autosuggestions ranked by Jev (TypeSafe) | TypeScript | β | 15 | src/suggest.ts:1 | π’ |
| blink | Codebase search powered by Jev from @typesafe-ai | TypeScript | β | 14 | src/search.ts:3 | π’ |
| killmyidea | Describe your startup idea. Jev decides: kill it, fix it or ship it. | TypeScript | β | 12 | src/lib/typesafe.ts:3 | π’ |
| Jev-Trades | Trading bot with the all new TypeSafe AI's first system one model named as Jev | Python | Apache-2.0 | 7 | pipeline/paper_trader.py:30 | π’ |
132 more in this section passed the proof check but not the rest of the bar β in data/index.json as candidates.
In this section: A game, robot controller or physics simulation where Jev reacts to game or sensor state, usually in a loop.
Not here: Game-themed demos with no running loop.
| Project | What it does | Language | License | Stars | Proof | Status |
|---|---|---|---|---|---|---|
| typesafe-mario | A TypeSafe/Jev agent that plays Super Mario Bros. from structured emulator state. | Python | β | 252 | src/typesafe_mario/policy.py:29 | π’ |
| jev-drone | Camera-only autonomous drone in MuJoCo with a small judgment model (TypeSafe Jev) in the loop at 2.5Hz | Python | MIT | 56 | tactics.py:12 | π’ |
| jevpilot | A playable Three.js driving simulator with Jev-powered autopilot | JavaScript | β | 47 | server/jev.js:78 | π’ |
| typesafe-snake | Snake auto-played by TypeSafe's Jev model: one System One choice per tick, legal moves and facts generated in code | TypeScript | β | 17 | server/index.ts:2 | π’ |
| tsai-sc | TypeSafe Jev controls original StarCraft shareware through keyboard and mouse with recorded action probabilities. | Python | MIT | 11 | tsai_sc/typesafe.py:24 | π’ |
| mario-jev | A uv-managed Python prototype that plays NES Super Mario Bros. (level 1-1 by default). Jev receives structured RAM observations and answers focused questions about movement, starting a jump, and sustaining a jump, plus timing hops under low | Python | β | 10 | tests/test_policy.py:5 | π’ |
| OneVOneJev | 1v1 Jev quickscope arena β Three.js + TypeSafe System One | TypeScript | β | 5 | server/src/jev.ts:7 | π’ |
20 more in this section passed the proof check but not the rest of the bar β in data/index.json as candidates.
In this section: Built to show or learn one thing: examples, playgrounds, starters, tutorials, weekend experiments.
Not here: Anything with real users or a published package.
| Project | What it does | Language | License | Stars | Proof | Status |
|---|---|---|---|---|---|---|
| jev-experiments | TypeSafe / Jev latency-focused demos built by Devin. Each app lives in its own top-level directory with its own README, TESTING.md and screenshots. | TypeScript | β | 99 | jev-lint/proxy.mjs:4 | π’ |
| neo4jev | Typesafe.ai System One Model Jev navigating a Neo4j graph by using a classifier over neighbouring relationships | Jupyter Notebook | MIT | 12 | pyproject.toml:12 | π’ |
| typesafe-ai-playground | Community TypeSafe AI playground: 110 use cases, games, dilemmas and model challenges, with editable prompts, A/B comparisons and a mobile-friendly UI. | TypeScript | MIT | 6 | lib/serverJev.ts:35 | π’ |
34 more in this section passed the proof check but not the rest of the bar β in data/index.json as candidates.
In this section: Measures Jev: benchmarks, calibration studies, accuracy or latency comparisons, reproductions, datasets.
Not here: Projects that merely report a benchmark number in their README.
| Project | What it does | Language | License | Stars | Proof | Status |
|---|---|---|---|---|---|---|
| jev-eval-agent | A personal-assistant agent built with eve (Vercel), with 100 mocked tools, served through OpenRouter. The repository exists to answer one question: how many steps does the agent need to finish the same task when the LLM picks the tool itsel | HTML | β | 76 | agent/lib/jev-router.ts:1 | π’ |
| jev-benchmarks | Probability-aware evaluation for typed decision models: calibration, selective risk, latency, and reproducible benchmarks. | Python | Apache-2.0 | 6 | tests/test_adapters.py:47 | π’ |
39 more in this section passed the proof check but not the rest of the bar β in data/index.json as candidates.
MIT β the pipeline, the site and the data. Linked projects keep their own licences.
Not affiliated with TypeSafe AI.