เกมกวาดทุ่นระเบิดที่ผสาน TypeSafe Jev: โซลเวอร์แบบกำหนดได้และการแจกแจงความน่าจะเป็นแบบแม่นยำจัดการการเดินที่พิสูจน์ได้ และจะเรียกใช้ Jev เฉพาะเมื่อต้องเดาเท่านั้น พร้อมการทดลอง prompt การประเมินสด และสคริปต์สำหรับสร้างผลซ้ำ
该仓库实现了可运行的扫雷游戏，并真实调用 TypeSafe Jev API 仅在逻辑无法证明时做判断；同时包含确定性约束求解、精确概率枚举、实时 API 评测、prompt 对照实验和复现脚本，属于对 Jev / System One 的实质集成与深入研究。
TypeSafeAITypeSafeAI/jev-harnessOfficialพื้นที่เก็บข้อมูลชุมชน TypeSafeAI ที่ใช้งานเวิร์กโฟลว์การตรวจสอบข้อเสนอที่ใช้ Jev: LLM เสนอ Jev ตอบคำถามแคบ ๆ สี่ข้อ โค้ดตัดสินใจและทิ้งใบรับรอง รวมถึงการทดสอบออฟไลน์ การทดลองกำหนดเส้นทาง และเดโม Next.js
ekzhangekzhang/openjev-sglangจุดสิ้นสุด API ที่เข้ากันได้กับ Jev ซึ่งใช้โอเพนโมเดล (prefill เท่านั้น) โดยใช้ Qwen3.6-35B-A3B บน SGLang เพื่อใช้จุดสิ้นสุดการประเมิน TypeSafe Jev/System One
keltokhykeltokhy/jgrepjgrep เป็นเครื่องมือ grep เชิงความหมายแบบ CLI ที่เรียกใช้โมเดลตัดสินใจ Jev/System One ของ TypeSafe เพื่อตัดสินบรรทัดหรือชิ้นส่วน diff ตามคำอธิบาย และคืนความน่าจะเป็นแทนการสร้างข้อความ
