More like this
- Tool
jkudish/jev-mcp
Proof-of-concept MCP server for Jev that lets Claude Code, Claude Desktop and Codex call the model and receive probabilities they can branch on. The most-starred Jev MCP server found.
- Discussion
Introducing System One Models and Jev (Hacker News launch thread)
The 1,863-point, 490-comment launch thread. Top comments argue the frontier-model framing is misleading, dispute the cannot-hallucinate claim on the grounds that type safety is not factual correctness, and note grammar-constrained decoding on ordinary LLMs already covers much of the interface.
- Alternative
DSPy: programming, not prompting, language models
Declares typed input/output Signatures for LLM modules and optimizes the underlying prompts and weights against a metric. Its Signature abstraction is the closest widely-used open equivalent of Jev's typed-question interface. Star count is GitHub's rounded display figure.
- Tool
Foreman
Places Jev as a fast supervisor above slower Codex coding agents. Codex workers do the engineering while Foreman independently assesses whether the work is complete, requirements are met, tests suffice, or human input is needed.
- Project
usenotra/notra
Generative engine optimization platform that tracks brand mentions across ChatGPT, Claude, Gemini and Perplexity. Its NOTRA_JEV_CLASSIFIERS setting moves the chat router, the GEO judge and the feedback classifier off their LLMs and onto typesafe-ai/jev, and routes the eve agent's model choice the same way.
- Project
kyotofin/tax-doc-classifier
A TypeScript classifier that sends each PDF page's text to Jev as a choice over 261 IRS forms and 7 page kinds, with a second call only for five corporate forms and their schedules. Its eval reports 0 wrong pages on 314 filled TaxCalcBench forms at about $0.001 per page, 34x cheaper and 6x faster than the Sonnet pipeline it replaced.