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

Desktop provider switcher for Claude Code and Codex. Keep every endpoint, API key, and model in one place, switch the active provider in one click, and probe latency before you start. Atomic writes and rolling backups keep your configs safe. Python + Next.js in a native OS webview.

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