typesafe-oracles

Evaluating TypeSafe's System One primitives (Choice/Score/Noul) — where a typed oracle beats an LLM call

How it uses Jev

Read FINDINGS.md first for what has already been measured — it carries the recommended configuration and a list of retracted claims. CLAUDE.md carries the summary of what TypeSafe is. For the short version to hand someone else, there is a three-minute walkthrough at When a number beats a sentence .

Getting started

Node 20.6+ (the scripts use node --env-file ), then:

Source: community catalog. Details and metrics reflect the published community snapshot and are not a performance endorsement. Documentation details extracted from GitHub · the README.

Keep exploring

Similar to typesafe-oracles

Browse all
openpave-jev project preview
Benchmarks & research
PAVE skill for non-autoregressive decision models (Jev / Laya / TypeSafe): typed Choice, Score and Noul answers with calibrated probabilities
dsh-jev-verify project preview
Benchmarks & research
Jev (TypeSafe System One) decision tools + live verification benchmark for DeepSeek Harness: jev_decision (choice/score/noul) and jev_verify, honest by design.
OpenJev project preview
Benchmarks & research
OpenJev: an independent Jev-inspired System One decision API based on TypeSafe.ai concepts. Choice, score and noul primitives, local mock server, Python and TypeScript SDKs. Real inference planned; not affiliated with TypeSafe AI.
s1-rs project preview
SDKs & clients
Typed System One layer for Rust (Choice/Score/Noul).
decisions-judge-mcp project preview
Agent tooling
Typed decisions for AI agents as an MCP tool: yes/no probability (noul), choice, and score in one fast request. Backed by the TypeSafe System One model.
jev-system-architect project preview
System-architecture skill for TypeSafe AI Jev/System One — find fuzzy semantic judgment and turn it into small Choice/Score/Noul primitives.
typesafe-cli (geilt) project preview
CLI and agent skill for TypeSafe System One (Jev): typed Choice, Score, and Noul judgments.
beatjev project preview
Games & simulations
Browser game: try to beat Jev at spotting a spam message.
jevflow project preview
Applications
Probabilistic AI decisions as composable backend primitives — typed judgments (noul/score/choice), deterministic thresholds, and explainable workflows. Powered by TypeSafe's Jev, provider-agnostic.