وكيل متصفح مبني على browser-use ويستخدم TypeSafe Jev للتحقق من مخرجات LLM مقابل أدلة الصفحة وحظر الإجراءات المدمرة؛ في الوضع المزدوج، يعمل Jev كنظام System 1 للخطوات الميكانيكية، مع تجارب مسجلة مسبقًا ونتائج تقييم.
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
NyarlathotepppppNyarlathoteppppp/pi-heedقيود وقت التشغيل لوكيل البرمجة pi: يتحقق من كل استدعاء أداة له آثار جانبية مقابل القواعد التي أعلنها المستخدم، مدعومًا بـ TypeSafe Jev. يتضمن معيارًا مفصلاً وسجل تجارب لتقييم قرارات System One من Jev.
cwjechw98-langcwjechw98-lang/jev-gatesثلاث بوابات حماية لوكلاء البرمجة: الموافقة قبل الإجراءات غير القابلة للتراجع، والتحقق من الإنجاز القائم على الأدلة، وفحوصات الانحدار للمعايير، مدعومة بـ TypeSafe Jev (System One). تشمل نصوص CLI واختبارات دون اتصال وسير عمل CI.
jomatsujomatsu/pi-jev-auto-modeامتداد بوابة أذونات لوكيل البرمجة Pi يستخدم TypeSafe Jev (System One) للموافقة الدلالية أو حظر استدعاءات أدوات bash و write و edit، مع إغلاق آمن افتراضيًا.
