dredozubov/hazmat

说明与用途

**项目简介**
dredozubov/hazmat 是一套在 macOS 上为 AI 代理提供完整隔离的安全框架，涵盖用户隔离、内核沙箱、pf 防火墙、DNS 黑名单以及备份/回滚机制，并通过 TLA+ 形式化验证。

**价值主张**

• **安全可靠**：在系统层面实现多层防护，防止 AI 代理对主机造成意外破坏或数据泄漏。
• **快速集成**：提供 API、SDK 与 CLI 三种接入方式，配合 Go 语言实现，可直接在现有 AI/ML 项目中嵌入，无需从零搭建安全层。
• **实验与生产兼顾**：适用于原型开发（如 RAG、Agent 工作流）和正式业务的安全评估，帮助团队在不牺牲安全的前提下快速验证模型和工具链。

**典型接入方式**

1. **CLI**：通过 hazmat run --agent <binary> --config <file> 启动受控的 AI 代理进程。
2. **SDK（Go）**：在代码中引入 github.com/dredozubov/hazmat，使用 hazmat.NewSandbox() 创建沙箱对象并调用 sandbox.Start(agentExec)。
3. **API/HTTP**：使用内置的 REST 接口提交代理任务，系统在后台自动完成隔离、网络过滤和日志收集。

**生产可用性**

• **活跃度**：截至 2026‑05‑14 最近一次提交，星标 111、Fork 3，代码基于 Go，拥有 13 个主题标签，表明社区关注度和维护力度较高。
• **成熟度**：已实现内核级沙箱、pf 防火墙规则、DNS blocklist 与完整的备份/回滚流程，并通过 TLA+ 形式化验证，降低了实现缺陷的风险。
• **风险点**：仍需进一步审查许可证细节、长期安全响应能力以及维护者的持续投入，但整体已具备在生产环境中进行试点的条件。

综上，hazmat 为在 macOS 上部署 AI 代理提供了一套即插即用的安全解决方案，接入门槛低，适合快速原型验证，也具备向生产环境迁移的技术基础。

实际用途

dredozubov/hazmat helps add AI capability without starting from a blank model stack.

• prototype AI features
• build RAG or agent workflows
• evaluate model tooling

限制与审查说明

High for an OSS candidate: recent activity, adoption, and ecosystem signals are strong enough for a serious pilot.