What it does
A policy engine that finds the AI agents on a machine and what each one can reach, writes a policy for each agent and enforces it outside the model. The policies are checked with Z3 and TLA+, and the code that connects agents to them is tested against bypass attempts. The model never sees the rules.
Use cases
- 01Find which AI agents run on a workstation and what they reach
- 02Write machine-checkable rules for an agent's actions
- 03Test the connector code against bypass attempts