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

Claude Autoresearch Skill — Autonomous goal-directed iteration for Claude Code. Inspired by Karpathy's autoresearch. Modify → Verify → Keep/Discard → Repeat forever.