لعبة كاسح ألغام تدمج TypeSafe Jev: الحل الحتمي والتعداد الدقيق للاحتمالات يتولى الحركات القابلة للإثبات، ولا يُستشار Jev إلا عند إجبار اللاعب على التخمين؛ تشمل تجارب الموجّهات والتقييم المباشر ونصوص إعادة الإنتاج.
该仓库实现了可运行的扫雷游戏，并真实调用 TypeSafe Jev API 仅在逻辑无法证明时做判断；同时包含确定性约束求解、精确概率枚举、实时 API 评测、prompt 对照实验和复现脚本，属于对 Jev / System One 的实质集成与深入研究。
TypeSafeAITypeSafeAI/jev-harnessOfficialمستودع مجتمع TypeSafeAI ينفذ سير عمل مراجعة المقترحات المستند إلى Jev: يقترح LLM إجراءً، ويجيب Jev على أربعة أسئلة محددة، ويقرر الكود ويترك إيصالات؛ ويتضمن اختبارات دون اتصال وتجارب توجيه وعرضًا توضيحيًا بـ Next.js.
ekzhangekzhang/openjev-sglangنقطة نهاية API متوافقة مع Jev مبنية على نماذج مفتوحة (prefill فقط)، تنفذ نقاط نهاية تقييم TypeSafe Jev/System One باستخدام Qwen3.6-35B-A3B على SGLang.
keltokhykeltokhy/jgrepjgrep هو أداة grep دلالية عبر سطر الأوامر تستدعي نموذج القرار Jev/System One من TypeSafe للحكم على الأسطر أو أجزاء الفروقات حسب الوصف، وتُرجع احتمالات بدلاً من نص مولّد.
