system-one-models

Evidence-backed use cases, patterns, prompts, and starter code for TypeSafe Jev — a System One model for fast, typed, confidence-aware decisions in software.

A curated list of official resources and community projects for TypeSafe, System One models, and Jev.

A curated, source-backed list of projects built with Jev, TypeSafe AI's System One model for typed decisions.

🔥🔥 Papers, open reproductions and independent evaluations behind System One models and Jev.

Evidence-backed use cases, patterns, and guidance for building with Jev, TypeSafe AI's System One model. Every claim is labeled and sourced.

Observable browser stealth game: Jev makes typed guard judgments while deterministic code owns the world.

Agent skill: design judgment-assisted systems with TypeSafe Jev (System One). Maps Choice/Score/Noul onto decision theory, reranking, and routing. Composition algebra, question design, validation gates. MIT.

Community-maintained Go SDK for the TypeSafe AI System One evaluation API, with typed questions, fluent builders, retries, and examples.

Community Java client for the TypeSafe System One API (unofficial)

An idiomatic, type-safe Elixir port of the official TypeScript AI SDK (ai / ai-sdk) providing unified LLM integrations, streaming text and structured outputs, tool calling, and agentic workflows. Jev is their current flagship model and is the first System One model.

Fast, typed, calibrated evaluations for LLM and agent outputs, powered by Jev — with simple, framework-agnostic Python APIs

Minesweeper where deterministic logic does the provable work and TypeSafe Jev is consulted only when the board forces a guess.

A curated list of TypeSafe Jev resources, SDKs, agents, MCP servers, integrations, benchmarks, examples, and open System One implementations.

Programmable triage for GitHub.

ocaml sdk for typesafe.ai's jev model