Juego de Buscaminas que integra TypeSafe Jev: el solucionador determinista y la enumeración exacta de probabilidades manejan las jugadas demostrables, y Jev solo se consulta cuando se fuerza una suposición; incluye experimentos de prompts, evaluación en vivo y scripts de reproducción.
该仓库实现了可运行的扫雷游戏，并真实调用 TypeSafe Jev API 仅在逻辑无法证明时做判断；同时包含确定性约束求解、精确概率枚举、实时 API 评测、prompt 对照实验和复现脚本，属于对 Jev / System One 的实质集成与深入研究。
TypeSafeAITypeSafeAI/jev-harnessOfficialRepositorio comunitario de TypeSafeAI que implementa un flujo de revisión de propuestas basado en Jev: un LLM propone, Jev responde cuatro preguntas concretas, el código decide y deja recibos; incluye pruebas sin conexión, experimentos de enrutamiento y una demo Next.js.
ekzhangekzhang/openjev-sglangEndpoint de API compatible con Jev basado en modelos abiertos (solo prefill), que implementa los endpoints de evaluación TypeSafe Jev/System One con Qwen3.6-35B-A3B en SGLang.
keltokhykeltokhy/jgrepjgrep es un grep semántico de CLI que llama al modelo de decisión Jev/System One de TypeSafe para evaluar líneas o fragmentos de diff por descripción, devolviendo probabilidades en lugar de texto generado.
