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

The Proxmox MCP you can hand the keys. All four products: PVE, PBS, PMG, PDM.