More like this
- Project
jev-trader
Makes one AI trade decision every Monad block on the Kuru MON-USDC market using Jev. Live at jev-trader.vercel.app.
- 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.
- Alternative
Outlines: structured outputs for LLMs
Guarantees valid structured output during generation by constraining decoding to a grammar or schema. The mechanism HN commenters repeatedly cited as already covering Jev's cannot-produce-a-type-error guarantee on ordinary LLMs. Star count is GitHub's rounded display figure.
- Alternative
Instructor: reliable JSON from any LLM
Pydantic-based library that extracts typed, validated structured data from LLMs across providers with automatic retries. The established way teams get Jev-style typed answers today, at LLM latency and cost. Star count is GitHub's rounded display figure.