Agent navigateur basé sur browser-use qui utilise TypeSafe Jev pour vérifier les complétions du LLM à partir des preuves de la page et bloquer les actions destructrices ; en mode double, Jev agit comme System 1 pour les étapes mécaniques, avec des expériences pré-enregistrées et des résultats d'évaluation.
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
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.
jomatsujomatsu/pi-jev-auto-modeUne extension de passerelle de permissions pour l'agent de codage Pi qui utilise TypeSafe Jev (System One) pour approuver ou bloquer sémantiquement les appels d'outils bash, write et edit, avec échec sécurisé par défaut.
