Игра «Сапёр» с интеграцией TypeSafe Jev: доказуемые ходы обрабатываются детерминированным решателем и точным перебором вероятностей, а Jev вызывается только когда нужно угадывать; включает эксперименты с промптами, живое тестирование и скрипты воспроизведения.
该仓库实现了可运行的扫雷游戏，并真实调用 TypeSafe Jev API 仅在逻辑无法证明时做判断；同时包含确定性约束求解、精确概率枚举、实时 API 评测、prompt 对照实验和复现脚本，属于对 Jev / System One 的实质集成与深入研究。
TypeSafeAITypeSafeAI/jev-harnessOfficialСообщественный репозиторий TypeSafeAI, реализующий процесс проверки предложений на основе Jev: LLM предлагает действие, Jev отвечает на четыре узких вопроса, код принимает решение и оставляет чеки; включает офлайн-тесты, эксперименты с маршрутизацией и демо на Next.js.
ekzhangekzhang/openjev-sglangJev-совместимая конечная точка API на основе открытых моделей (только prefill), реализующая конечные точки оценки TypeSafe Jev/System One с Qwen3.6-35B-A3B на SGLang.
keltokhykeltokhy/jgrepjgrep — это семантический grep в CLI, который вызывает модель принятия решений Jev/System One от TypeSafe для оценки строк или фрагментов diff по описанию и возвращает вероятности, а не сгенерированный текст.
