TypeSafe Jev'i entegre eden Mayın Tarlası oyunu: kanıtlanabilir hamleler deterministik çözücü ve tam olasılık sayımıyla yönetilir; yalnızca tahmin zorunlu olduğunda Jev çağrılır; prompt deneyleri, canlı değerlendirme ve yeniden üretim betikleri içerir.
该仓库实现了可运行的扫雷游戏，并真实调用 TypeSafe Jev API 仅在逻辑无法证明时做判断；同时包含确定性约束求解、精确概率枚举、实时 API 评测、prompt 对照实验和复现脚本，属于对 Jev / System One 的实质集成与深入研究。
TypeSafeAITypeSafeAI/jev-harnessOfficialTypeSafeAI topluluk deposu; Jev tabanlı bir öneri inceleme iş akışı uygular: bir LLM önerir, Jev dört dar soruyu yanıtlar, kod karar verir ve makbuz bırakır; çevrimdışı testler, yönlendirme deneyleri ve Next.js demosu içerir.
ekzhangekzhang/openjev-sglangAçık modellere dayalı Jev uyumlu API uç noktası (yalnızca prefill), SGLang üzerinde Qwen3.6-35B-A3B ile TypeSafe Jev/System One değerlendirme uç noktalarını uygular.
keltokhykeltokhy/jgrepjgrep, TypeSafe'ın Jev/System One karar modelini çağırarak satırları veya diff parçalarını açıklamaya göre değerlendiren ve üretilmiş metin yerine olasılık döndüren bir CLI anlamsal grep aracıdır.
