Agente de navegador basado en browser-use que usa TypeSafe Jev para verificar las completaciones del LLM contra la evidencia de la página y bloquear acciones destructivas; en modo dual, Jev actúa como System 1 para pasos mecánicos, con experimentos preregistrados y resultados de evaluación.
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
NyarlathotepppppNyarlathoteppppp/pi-heedRestricciones de tiempo de ejecución para el agente de codificación pi: verifica cada llamada a herramienta con efectos secundarios contra las reglas declaradas por el usuario, impulsado por TypeSafe Jev. Incluye un punto de referencia detallado y un registro de experimentos que evalúan las decisiones de System One de Jev.
cwjechw98-langcwjechw98-lang/jev-gatesTres compuertas de seguridad para agentes de codificación: aprobación antes de acciones irreversibles, verificación de finalización basada en evidencia y comprobaciones de regresión de rúbricas, impulsadas por TypeSafe Jev (System One). Incluye scripts CLI, pruebas sin conexión y flujos de CI.
jomatsujomatsu/pi-jev-auto-modeUna extensión de puerta de permisos para el agente de codificación Pi que utiliza TypeSafe Jev (System One) para aprobar o bloquear semánticamente las llamadas a herramientas bash, write y edit, con cierre seguro por defecto.
