dredozubov/hazmat

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

语言：Go · GitHub 星标：178 · Fork：11

话题：ai-agents · claude-code · cli · containment · developer-tools · formal-verification · go · macos

在 GitHub 上查看原仓库