Agen browser berbasis browser-use yang menggunakan TypeSafe Jev untuk memeriksa hasil LLM terhadap bukti di halaman dan memblokir tindakan destruktif; dalam mode ganda, Jev bertindak sebagai System 1 untuk langkah-langkah mekanis, dengan eksperimen terdaftar sebelumnya dan hasil evaluasi.
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
NyarlathotepppppNyarlathoteppppp/pi-heedBatasan runtime untuk agen pengkodean pi: memeriksa setiap panggilan alat yang memiliki efek samping terhadap aturan yang dinyatakan pengguna, didukung oleh TypeSafe Jev. Termasuk benchmark terperinci dan log eksperimen yang mengevaluasi keputusan System One Jev.
cwjechw98-langcwjechw98-lang/jev-gatesTiga gerbang pengaman untuk agen pengkodean: persetujuan sebelum tindakan yang tidak dapat dibatalkan, pemeriksaan penyelesaian berbasis bukti, dan pemeriksaan regresi rubrik, didukung oleh TypeSafe Jev (System One). Termasuk skrip CLI, pengujian offline, dan alur kerja CI.
jomatsujomatsu/pi-jev-auto-modeEkstensi gerbang izin untuk agen pengkodean Pi yang menggunakan TypeSafe Jev (System One) untuk menyetujui atau memblokir panggilan alat bash, write, dan edit secara semantik, dengan gagal tertutup secara default.
