macOS containment for AI agents — user isolation, kernel sandbox, pf firewall, DNS blocklist, backup/rollback. TLA+ verified.
$ npx skills add dredozubov/hazmatScenario Coding agents · I need a coding agent that can understand a repository, edit code, and review pull requests.
Claude Code + CLI · 4 targets