GitHub

A pi extension that exposes TypeSafe (Jev, System One) judgments as five pi tools, so a model can make narrow semantic judgments while your code and your users keep control of thresholds, weights, and actions.

Single-agent Pi coding coprocessor with Jev semantic gates, baseline-to-current diff review, and append-only observability telemetry.

MCP server exposing TypeSafe System One judgments (noul, choice, score) as agent tools.

Guardrail + model router for LLM gateways on TypeSafe's Jev (System One model), with an independent accuracy/calibration/latency evaluation. Stdlib Python.

TypeSafe AI (Jev) adversarial reviewer and typesafe_ask tool for the omp coding agent.

Utilizing Jev, the RLCD-type model provided by TypeSafe AI, to independently and cheaply judge agentic coding sessions.

Predict another skill's next closed decision with TypeSafe Jev — without running that skill.

Uses typeful jev, zero sync to pull and sync large repositories for issue triage.

Per-prompt capability router for coding agents: resolves installed skills, MCP servers, agents and commands against your prompt via TypeSafe Jev, and measures whether the injection actually helps.

Grounded GitHub and crates.io discovery CLI and MCP server that uses Jev to score architectural fit, licensing, and maintenance.

Sub-second pre-commit and pre-push semantic gate that screens staged diffs with Jev.

Type-safe model router. Jev (System One) banks each request to a typed catalog route.

Cut Claude Code's skill manifest by ~75% with TypeSafe Jev. Scores every installed skill for relevance and hides the rest via skillOverrides — 12,750 → 3,185 tokens on a 217-skill install, for $0.0009 a session.

Automated database migration safety reviewer powered by TypeSafe AI (Jev System One model).

Build versioned judgment functions on TypeSafe's Jev once, then call the same published version from your backend over HTTP and from coding agents over MCP. The vendor key stays on your machine.

Shift every LLM call to the cheapest model that can handle it. Routing decided by TypeSafe Jev in ~180 ms. No training data. Policy in plain YAML. TypeScript and Python.

Semantic MCP firewall powered by Jev — screens every tool call, tool result, and tool description with calibrated System One verification. 94% block recall, 0 false positives, ~$0.00002/check.

Mastra input processor that uses Jev for a typed block decision and moderation category.

Local proxy that picks the Claude model and effort per message using TypeSafe Jev. Routes subagents, leaves your cached main chat alone.

Claude Code mod that routes decisions to TypeSafe's Jev model: ranks installed skills per prompt, and answers the agent's own this-or-that questions when confident.

MCP server exposing TypeSafe Jev as typed, calibrated judgment tools: classify, score, check, batched ask. Ships as a Claude Code plugin.

Open-source LLM router that uses TypeSafe's Jev to pick a model, on top of LiteLLM.

Runtime constraints for the pi coding agent: checks every side-effecting tool call against what you said, before it runs. Powered by TypeSafe Jev.

Codex plugin: verbatim Jev-guided context restoration around session compaction. Port of tamaratran/fast-jev-compaction to Codex lifecycle hooks.

Minimal agent loop where Jev directs control flow and a LangChain chat model writes argument values and the final response.

Agent Skill: send closed coding-agent judgments to TypeSafe Jev.

CLI and agent skill for TypeSafe System One (Jev): typed Choice, Score, and Noul judgments.

DiffJury — TypeSafe Jev PR risk router + code review coach.

Voice-driven semantic auto-advance for Slidev, powered by Cloudflare Agents and TypeSafe AI Jev.

A small, fast prose linter: ruff-style rule codes for writing, backed by TypeSafe's Jev model.

Pi extension: verbatim context compaction with TypeSafe Jev decisions.

Connect JEV to MCP clients and compare its judgments against general-purpose LLMs using shared datasets and measurable accuracy.

AI workspace whose approval review uses Jev to gate workspace actions with typed decisions.

Automatic model routing for Pi using TypeSafe's Jev through Vercel AI Gateway.

Every code file in a pull request, judged against Uncle Bob's Clean Code by TypeSafe's Jev, then reviewed by Luna. Built on eve and Next.js.

Typed System One decisions, ranking, verification, and an opt-in Hermes tool gate using TypeSafe Jev.

Verbatim Jev-scored context reduction for omp, over TypeSafe or OpenRouter.

PoC: TypeSafe Jev as the reviewer for Hermes Agent smart command approvals. 8.7x faster, 4.4x fewer prompts, measured on 153 real commands. Approvals only.

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

TypeSafe (Jev) skill routing for Hermes Agent: names the one skill worth loading, before the model call. Opt-in, stdlib only, ~$0.001 per routed turn.