Agente de navegador baseado em browser-use que usa TypeSafe Jev para verificar as conclusões do LLM com base nas evidências da página e bloquear ações destrutivas; no modo duplo, Jev atua como System 1 para etapas mecânicas, com experimentos pré-registrados e resultados de avaliação.
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
NyarlathotepppppNyarlathoteppppp/pi-heedRestrições de tempo de execução para o agente de codificação pi: verifica cada chamada de ferramenta com efeitos colaterais contra as regras declaradas pelo usuário, alimentado por TypeSafe Jev. Inclui um benchmark detalhado e um registro de experimentos que avaliam as decisões do System One da Jev.
cwjechw98-langcwjechw98-lang/jev-gatesTrês portões de proteção para agentes de codificação: aprovação antes de ações irreversíveis, verificação de conclusão baseada em evidências e verificações de regressão de rubrica, alimentados por TypeSafe Jev (System One). Inclui scripts CLI, testes offline e fluxos de CI.
jomatsujomatsu/pi-jev-auto-modeUma extensão de portão de permissões para o agente de codificação Pi que usa TypeSafe Jev (System One) para aprovar ou bloquear semanticamente chamadas de ferramentas bash, write e edit, falhando fechado por padrão.
