Havuz

Real-time drone swarm autonomy simulation using Jev for fast System 1 reflex decisions and collision avoidance, with optional System 2 reaso

Routes each request to the right AI agent or skill before your AI picks one. Your rules decide what code can; Jev (TypeSafe) makes the typed

Command-line tool for TypeSafe's Jev AI model

Screens an AI agent's tool calls before they run and tool results before the agent reads them. An MCP proxy plus a hooks adapter for a clien

Reproducible benchmark for measuring Jev reranking quality, latency, and cost in RAG

Jev-powered conversation memory: find past sessions and revisit decisions with original sources. A macOS workspace for OpenAI Codex. Manage

Small dependency-free CLI for TypeSafe Jev

Let TypeSafe Jev decide whether a message you send mid-turn should steer, queue, or interrupt your coding agent. Claude Code plugin; Codex C

Jev + Arrow

Fast browser agent for ego lite. One TypeSafe request per step; an agent or Jev picks the move.

Decision harness for TypeSafe Jev — confidence gates, shadow mode, recipes, and evals. Claude CLI 48.9s → Jev 1.3s on the same row-filter jo

libcli - a singe-header library for typed argument parsing in C

Claude Code/Codex skills, evals, harnesses/context tools, and learning resources that make it easy to build with Jev, TypeSafe's System One

Fast structured Android control loops with TypeSafe Jev and Mobile MCP

Jev judgment, not generation: prune long tool output, screen fetched pages for injected instructions, and gate completion claims inside Deep

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

Coding-agent tools on TypeSafe's Jev, measured in public. review-router: caught 13 of 13 CVE fixes a filename rule sent to a quick review. j

Per-turn model routing for the Pi coding agent: a small judge picks the cheap or the strong tier for each message, with multi-model failover

What can Jev actually do? Reproducible experiments and research reports exploring its capabilities and limits.

Don't trust an Agent. Test it. Open-source lab for agent credit — exams → evidence → explainable, recomputable scores. Built for the day age

Community .NET SDK for the TypeSafe AI System One API — typed noul, choice, and score questions with structured, confidence-scored answers.

Research design for a Jev-native agent system:enable more options than jev provided with virtulization and paging, tool integration, externa

A custom coding harness for TypeSafe AI's Jev: an LLM proposes, Jev answers narrow questions, code decides, every step leaves a receipt.

Agent skills for designing, training, evaluating and improving application-specific decision systems. Primitive/model selection, data assemb

Let Jev steer Claude Code: the right reasoning effort, subagent model and skill for every prompt. A Claude Code plugin powered by TypeSafe's

TypeSafe Jev for DeepSeek Harness, the Model Context Protocol, and plain Node: typed judgments instead of prose, offline by default.

Local gateway that routes coding-agent tool decisions through Jev and can attach a read-only advisor (GPT or Claude).