Браузерний агент на основі 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, із безпечним закриттям за замовчуванням.
