Jogo de Campo Minado integrando TypeSafe Jev: o solucionador determinístico e a enumeração exata de probabilidades cuidam dos movimentos demonstráveis, e Jev é consultado apenas quando um palpite é forçado; inclui experimentos de prompt, avaliação ao vivo e scripts de reprodução.
该仓库实现了可运行的扫雷游戏，并真实调用 TypeSafe Jev API 仅在逻辑无法证明时做判断；同时包含确定性约束求解、精确概率枚举、实时 API 评测、prompt 对照实验和复现脚本，属于对 Jev / System One 的实质集成与深入研究。
TypeSafeAITypeSafeAI/jev-harnessOfficialRepositório comunitário da TypeSafeAI que implementa um fluxo de revisão de propostas baseado em Jev: um LLM propõe, Jev responde quatro perguntas específicas, o código decide e deixa recibos; inclui testes offline, experimentos de roteamento e uma demo Next.js.
ekzhangekzhang/openjev-sglangEndpoint de API compatível com Jev baseado em modelos abertos (somente prefill), implementando os endpoints de avaliação TypeSafe Jev/System One com Qwen3.6-35B-A3B no SGLang.
keltokhykeltokhy/jgrepjgrep é um grep semântico de CLI que chama o modelo de decisão Jev/System One da TypeSafe para julgar linhas ou hunks de diff por descrição, retornando probabilidades em vez de texto gerado.
