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.
- 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.
- 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.
- Tool
NiazMorshed2007/jev-review
Local-first MCP plugin giving Claude Code, Codex, Cursor and OpenCode structured code-quality scores (correctness, complexity, modularity, security) while they work. Sends focused diffs to Jev and keeps keys and code local.
- Tool
Advocaat
Small type-safe client for asking questions about your data, powered by Jev. Returns probabilities, choices and scores in a single request, and ships an agent skill that teaches coding agents how to design the questions.