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

A modular external attack surface mapping tool integrating tools for automated reconnaissance and bug bounty workflows.