Jeu de démineur intégrant TypeSafe Jev : le solveur déterministe et l'énumération exacte des probabilités traitent les coups prouvables, et Jev n'est consulté que lorsqu'une supposition est forcée ; comprend des expériences de prompts, une évaluation en direct et des scripts de reproduction.
该仓库实现了可运行的扫雷游戏，并真实调用 TypeSafe Jev API 仅在逻辑无法证明时做判断；同时包含确定性约束求解、精确概率枚举、实时 API 评测、prompt 对照实验和复现脚本，属于对 Jev / System One 的实质集成与深入研究。
TypeSafeAITypeSafeAI/jev-harnessOfficialDépôt communautaire TypeSafeAI implémentant un flux de revue de propositions basé sur Jev : un LLM propose, Jev répond à quatre questions précises, le code décide et laisse des reçus ; comprend des tests hors ligne, des expériences de routage et une démo Next.js.
ekzhangekzhang/openjev-sglangPoint de terminaison API compatible Jev basé sur des modèles ouverts (prefill uniquement), implémentant les points de terminaison d'évaluation TypeSafe Jev/System One avec Qwen3.6-35B-A3B sur SGLang.
keltokhykeltokhy/jgrepjgrep est un grep sémantique en CLI qui appelle le modèle de décision Jev/System One de TypeSafe pour juger des lignes ou des hunks de diff selon une description, renvoyant des probabilités plutôt que du texte généré.
