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