Инструмент с открытым исходным кодом MCP/HTTPS, который проверяет подсказки, навыки и описания инструментов на атаки с внедрением, используя TypeSafe AI Jev, детерминированные проверки и настраиваемые рассуждения.
仓库 README 和文档明确展示了使用 TypeSafe AI Jev 的实现、测试和评估，包括专门的 how-we-use-jev 文档、回放测试以及 TypeSafe 配置说明，属于真实集成。
NyarlathotepppppNyarlathoteppppp/pi-heedОграничения времени выполнения для агента кодирования pi: проверяет каждый вызов инструмента с побочными эффектами на соответствие правилам, указанным пользователем, на основе TypeSafe Jev. Включает подробный бенчмарк и журнал экспериментов, оценивающих решения System One от Jev.
cwjechw98-langcwjechw98-lang/jev-gatesТри защитных шлюза для агентов программирования: одобрение перед необратимыми действиями, проверка завершения на основе доказательств и регрессионная проверка рубрик на основе TypeSafe Jev (System One). Включает CLI-скрипты, офлайн-тесты и CI-пайплайны.
InverxInverx/JevREJevRE — это Python CLI, интегрирующий модель Jev System One от TypeSafe AI для рекомендации следующего шага исследования в реверс-инжиниринге Android. Включает реальный клиент API Jev и автономный имитационный режим.
