Qué hace
Motor de políticas que localiza los agentes de IA de una máquina y lo que puede alcanzar cada uno, escribe una política para cada agente y la aplica fuera del modelo. Las políticas se verifican con Z3 y TLA+, y el código que conecta los agentes con ellas se prueba contra intentos de evasión. El modelo nunca ve las reglas.
Casos de uso
- 01Localiza qué agentes de IA se ejecutan en un equipo y a qué llegan
- 02Escribe reglas verificables por máquina para las acciones de un agente
- 03Prueba el código conector frente a intentos de evasión