Tác nhân trình duyệt dựa trên browser-use sử dụng TypeSafe Jev để đối chiếu kết quả hoàn thành của LLM với bằng chứng trên trang và chặn các hành động phá hoại; ở chế độ kép, Jev đóng vai trò System 1 cho các bước cơ học, kèm theo các thử nghiệm đã đăng ký trước và kết quả đánh giá.
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
NyarlathotepppppNyarlathoteppppp/pi-heedRàng buộc thời gian chạy cho tác nhân mã hóa pi: kiểm tra mọi lệnh gọi công cụ có tác dụng phụ so với các quy tắc người dùng đã nêu, được hỗ trợ bởi TypeSafe Jev. Bao gồm điểm chuẩn chi tiết và nhật ký thử nghiệm đánh giá các quyết định System One của Jev.
cwjechw98-langcwjechw98-lang/jev-gatesBa cổng bảo vệ cho tác tử lập trình: phê duyệt trước hành động không thể đảo ngược, kiểm tra hoàn thành dựa trên bằng chứng và kiểm tra hồi quy tiêu chí, được hỗ trợ bởi TypeSafe Jev (System One). Bao gồm tập lệnh CLI, kiểm thử ngoại tuyến và quy trình CI.
jomatsujomatsu/pi-jev-auto-modeMột tiện ích mở rộng cổng quyền cho tác nhân mã hóa Pi sử dụng TypeSafe Jev (System One) để phê duyệt hoặc chặn các cuộc gọi công cụ bash, write và edit một cách ngữ nghĩa, mặc định là đóng an toàn.
