Trò chơi dò mìn tích hợp TypeSafe Jev: bộ giải xác định và liệt kê xác suất chính xác xử lý các nước đi có thể chứng minh, chỉ gọi Jev khi buộc phải đoán; bao gồm thí nghiệm prompt, đánh giá trực tiếp và tập lệnh tái hiện.
该仓库实现了可运行的扫雷游戏，并真实调用 TypeSafe Jev API 仅在逻辑无法证明时做判断；同时包含确定性约束求解、精确概率枚举、实时 API 评测、prompt 对照实验和复现脚本，属于对 Jev / System One 的实质集成与深入研究。
TypeSafeAITypeSafeAI/jev-harnessOfficialKho lưu trữ cộng đồng TypeSafeAI triển khai quy trình xem xét đề xuất dựa trên Jev: LLM đề xuất, Jev trả lời bốn câu hỏi hẹp, mã quyết định và để lại biên nhận; bao gồm kiểm thử ngoại tuyến, thí nghiệm định tuyến và bản demo Next.js.
ekzhangekzhang/openjev-sglangĐiểm cuối API tương thích Jev dựa trên các mô hình mở (chỉ prefill), triển khai các điểm cuối đánh giá TypeSafe Jev/System One với Qwen3.6-35B-A3B trên SGLang.
keltokhykeltokhy/jgrepjgrep là một grep ngữ nghĩa dòng lệnh gọi mô hình quyết định Jev/System One của TypeSafe để đánh giá dòng hoặc khối diff theo mô tả, trả về xác suất thay vì văn bản sinh ra.
