Jev ecosystem projects — page 42

Jev can't generate text. So I made it talk anyway. A conversational interface built from probabilistic decisions and a deterministic language compiler — no generative LLM.

The lesson notebook that writes itself. A live tutoring lesson becomes structured notes and a personalised Lesson Pack: Jev judges every turn, Gemini Live transcribes each speaker, and the tutor stays a person.

Chain-of-thought and self-refinement for TypeSafe's Jev: feed its typed answers back as state and ask again. Benchmarks vs TypeSafe's own cookbook numbers.

Continuous verbatim context pruning for OpenCode, powered by TypeSafe Jev. Port of fast-jev-compaction adapted to OpenCode's context hook.

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.

Pick the right agent skill for every prompt with TypeSafe's Jev. Hooks for Claude Code, Codex, Gemini CLI, Droid, OpenCode, Amp.

FUn little experiment with Typesafe AI Jev Model playing chess against stockfish :)

Unofficial Rust client for TypeSafe's System One API (Jev): typed Noul, Choice and Score questions, async and blocking

Know before you click. A Chrome extension that reads articles and YouTube videos ahead of you and says read, skim, save, or skip — with a confidence, tuned to your goals. Open source, MV3, powered by Jev.

Antivirus scanner and real-time defense sentinel: extracts structural features from executables, scripts, and documents (entropy, hashes, strings, PE imports) and has Jev judge whether each is malicious.

Awesome Collection of apps built with Jev - a System One model

Claude Code Stop hook that checks an AI assistant's claims against what it actually read this session, using TypeSafe's Jev as the judge

Agent skill that spots bounded-judgment steps, tries a typed decision model (TypeSafe's Jev) first, and documents every attempt

Watch TypeSafe Jev make highway driving decisions. Includes live API and offline gameplay previews.

Natural-language WHERE clauses for DuckDB, powered by TypeSafe's Jev

Select Git changes for staging with a plain-language description.

GraniteJev...

Taiafox filters a hundred incoming messages down to the three that matter, coordinates responders by voice, and re-plans in under a second when the fire turns.

Jev decision sidekick for Hermes Agent — TypeSafe and Cloudflare, explicit tools and official skill

Jev for Hermes: skill discovery, multi-skill advice, adaptive reasoning effort, model recommendations, typed assessments, session re-ranking, and computer use.

Ask your Db2 for i tables questions. A Db2 for i SQL SDK powered by TypeSafe's Jev.

Trying automation on web browser via jev from typesafe

Pre-registered independent eval of TypeSafe Jev against a nano-class LLM, a frontier LLM, and a supervised encoder (Banking77 + CLINC150 zero-shot)

WordPress connector for TypeSafe Jev: typed, confidence-scored answers your code can branch on.