Outil open-source MCP/HTTPS qui filtre les invites, compétences et descriptions d'outils contre les attaques par injection à l'aide de TypeSafe AI Jev, de vérifications déterministes et de raisonnement configurable.
仓库 README 和文档明确展示了使用 TypeSafe AI Jev 的实现、测试和评估，包括专门的 how-we-use-jev 文档、回放测试以及 TypeSafe 配置说明，属于真实集成。
NyarlathotepppppNyarlathoteppppp/pi-heedContraintes d'exécution pour l'agent de codage pi : vérifie chaque appel d'outil avec effet secondaire par rapport aux règles déclarées par l'utilisateur, propulsé par TypeSafe Jev. Comprend un benchmark détaillé et un journal d'expériences évaluant les décisions System One de Jev.
cwjechw98-langcwjechw98-lang/jev-gatesTrois garde-fous pour agents de codage : approbation avant action irréversible, vérification d'achèvement fondée sur des preuves et contrôle de régression de rubrique, propulsés par TypeSafe Jev (System One). Comprend des scripts CLI, des tests hors ligne et des workflows CI.
InverxInverx/JevREJevRE est un CLI Python intégrant le modèle Jev System One de TypeSafe AI pour recommander la prochaine étape d'investigation en rétro-ingénierie Android. Il inclut un client réel de l'API Jev et un mode simulé hors ligne.
