PrototypeCommune
dredozubov/hazmat
Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.
- Propriétaire
- dredozubov (compte personnel)
- Étoiles
- Étoiles : 179
- Forks
- Forks : 11
- Langage
- Go
- Licence
- MIT
- Création
- 2026
- Sujets
- ai-agentsclaude-codeclicontainmentdeveloper-toolsformal-verificationgomacospf-firewallsandbox
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de dredozubov
Les 2 dépôts de dredozubov- dredozubov/polyrhythmixÉtoiles : 309RustAlpha
D’autres dépôts Go
Tous les dépôts Go- clawfleet/ClawFleetÉtoiles : 179GoPrototype
- AndrianBdn/oddkÉtoiles : 179GoPrototype
- arden-aaai/cpa-plugin-codex-turn-stateÉtoiles : 179GoPrototype
- lyricat/tattooÉtoiles : 179GoPrototype
- progrium/pluginhookÉtoiles : 179GoPrototype
- VerbalExpressions/GoVerbalExpressionsÉtoiles : 179GoPrototype