PrototypeCommon
dredozubov/hazmat
Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.
- Owner
- dredozubov (personal account)
- Stars
- Stars: 179
- Forks
- Forks: 11
- Language
- Go
- License
- MIT
- Created
- 2026
- Topics
- ai-agentsclaude-codeclicontainmentdeveloper-toolsformal-verificationgomacospf-firewallsandbox
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by dredozubov
All 2 repos by dredozubov- dredozubov/polyrhythmixStars: 309RustAlpha
Nearby in Go
All Go repos- clawfleet/ClawFleetStars: 179GoPrototype
- AndrianBdn/oddkStars: 179GoPrototype
- arden-aaai/cpa-plugin-codex-turn-stateStars: 179GoPrototype
- lyricat/tattooStars: 179GoPrototype
- progrium/pluginhookStars: 179GoPrototype
- VerbalExpressions/GoVerbalExpressionsStars: 179GoPrototype