Demo: Smart home assistant
Interactive demo that evaluates smart home requests with speculative questions and falls back to an LLM when Jev is uncertain.
More like this

Jev Ultrafast (Browser Use)
Browser Use's fast browser agent where Jev picks the operation and the DOM element in a single request; a small LLM is only invoked to write text when typing is required. Demoed on a Google Flights search.
19k starsFlight search 7.1 s
jev-trader
Makes one AI trade decision every Monad block on the Kuru MON-USDC market using Jev. The public deployment runs in dry-run mode with a mock model.
jarrodwattsOpenjev-trader on github.com2.2k starsLoop, mock model p50 100 msDecision window ~300 ms/block
typesafe-ai/skills (official TypeSafe agent skill)
Official agent skill for Claude Code, Codex and other agent environments; installs via claude plugin marketplace add typesafe-ai/skills or npx skills add typesafe-ai/skills. MIT licensed.
jkudish/jev-mcp
MCP server that gives Claude Code, Codex, Amp, OpenCode and other agents ten Jev judgment tools, each returning typed probabilities they can branch on. The author calls it early software.
320 starsPer call 150-500 ms

Laya-MLX
An independent MLX port of Laya for Apple Silicon, 13.4ms median for a short English decision and 7.4ms on the multilingual checkpoint, with a Snake demo that plays at up to 75 moves per second under 1GB of memory.
mizorewwwOpenLaya-MLX on github.com6.1k starsShort decision 13.4 ms P50Snake demo 75.4 moves/s

Agent Desktop
Rust desktop automation that reads apps through the OS accessibility tree instead of pixels. Its jev-desktop skill takes a plain-language goal and has Jev pick one operation and one target element per turn, so the 150-element tree never enters the agent's context.
1.6k starsToken reduction 78-96%