browser-use tabanlı, TypeSafe Jev kullanarak LLM tamamlamalarını sayfa kanıtlarına göre doğrulayan ve yıkıcı eylemleri engelleyen tarayıcı ajanı; ikili modda Jev, mekanik adımlar için System 1 olarak çalışır ve önceden kaydedilmiş deneyler ile değerlendirme sonuçları içerir.
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
NyarlathotepppppNyarlathoteppppp/pi-heedpi kodlama aracısı için çalışma zamanı kısıtlamaları: yan etkisi olan her araç çağrısını kullanıcının belirttiği kurallara göre denetler, TypeSafe Jev tarafından desteklenir. Jev'in System One kararlarını değerlendiren ayrıntılı bir kıyaslama ve deney günlüğü içerir.
cwjechw98-langcwjechw98-lang/jev-gatesKodlama ajanları için üç güvenlik kapısı: geri döndürülemez işlemlerden önce onay, kanıta dayalı tamamlama kontrolü ve rubrik regresyon kontrolü; TypeSafe Jev (System One) tarafından desteklenmektedir. CLI komut dosyaları, çevrimdışı testler ve CI iş akışları içerir.
jomatsujomatsu/pi-jev-auto-modePi kodlama ajanı için, TypeSafe Jev (System One) kullanarak bash, write ve edit araç çağrılarını anlamsal olarak onaylayan veya engelleyen ve varsayılan olarak güvenli şekilde kapanan bir izin kapısı uzantısı.
