dredozubov/hazmat
macOS containment for AI agents — user isolation, kernel sandbox, pf firewall, DNS blocklist, backup/rollback. TLA+ verified.
GitHub repository with 118 stars and 4 forks.
Language: Go
Topics: ai-agents, claude-code, cli, containment, developer-tools, formal-verification, go, macos, pf-firewall, sandbox