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

Observability and enforcement for AI agent harnesses. Capture every run and runtime reliability with policy enforcement. 40 built-in policies, a local dashboard, no account required with a generous free cloud plan