Open-source firewall for AI agents. Policy engine that audits and controls what OpenClaw, Claude Code, Cursor, Codex, and any AI tool can do on your machine.

Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.