Go77良好健康指数dredozubov/hazmatContainment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.Go★ 1782026年10月19日MIT2026年10月19日 · 指标 2.10.0