Black-box QA of saucedemo.com, judged three ways: TypeSafe Jev, GPT-5.6 with screenshots, and a confidence-gated hybrid.
Applications for Jev — page 71
1810 repositories with documented relationships and source evidence.
X 时间线清洁工 · FeedSieve(MIT) 衍生 · 带实测标定的 AI 判定层:误杀 0.7%,还能抓词库认不出的 47%
Built a new SALT RSS pipeline that can do tellurics and such.
Jev on Indonesia's SNBT 2025 university entrance test: 159 questions, seven subtests, audited answer keys.
Natural-language speculation gates for speculative programmatic tool calling (spec-ptc), judged by TypeSafe Jev
Rust client for the TypeSafe AI systemone API
Mine quotable user praise from Gmail with TypeSafe's Jev: one typed request per email, verbatim quotes, thresholds in code
Watch TypeSafe Jev play Tetris. Live API vs offline heuristic, with recorded demos and reproducible runs.
Deterministic transcript cleanup and compaction support using TypeSafe's Jev.
Typesafe switch, score, and bool primitives for Python, powered by TypeSafe AI
JEV
Demo pública: mensaje → juicios TypeSafe (Choice/Noul/Score) vs decisión en código. Spec: Notion TypeSafe triage.
Werewolf against seven villagers whose suspicions are calibrated probabilities from TypeSafe Jev
Local document search that can refuse.
ASSAY-001: independent, pre-registered verification of TypeSafe Jev's calibration and type-safety claims. Split verdict, published in full.
OrthoCode AI is an evidence-first orthopedic medical-coding platform. Its runtime is constrained to a normalized, versioned codebook release and retains page-level evidence for every proposed coding line.
A production-oriented BEAM/OTP autonomy kernel for running an untrusted coding worker inside a disposable Linux execution domain while keeping durable authority, policy, effects, verification, recovery, and audit state in a trusted control plane.