hazmat
给 AI 代理套上安全笼子，防破坏防泄露，还能一键回滚
项目预览
项目数据
项目介绍
Star 增长趋势
本站每日记录该项目 GitHub 星标变化，观测越久曲线越完整
数据来源：GitHub API 逐日快照 · 收录于 2026-08-09 · 当前星标 ★ 180
核心亮点
- TLA+ 形式化验证安全逻辑，可靠性有数学保证
- 沙箱+防火墙+备份回滚三重防护，覆盖全面
- 专为 macOS 设计，与 Seatbelt 和 pf 深度集成
不足之处
- 仅支持 macOS，跨平台场景无法使用
- 文档/社区待观察
适用场景
- 本地运行 Claude Code 等 AI 代理时，防止其误删文件或执行危险命令
- 测试不可信 AI 生成的代码或脚本，隔离潜在风险
- 需要审计 AI 代理行为的开发环境，确保操作可回滚
替代项目
Firecracker、gVisor、Bubblewrap
下一篇：llmix
同类项目推荐
cli
开源
用代码图谱给 AI 编程省 token，只喂相关代码，不烧钱。
Save 40%+ on agent token costs with code graphs: call graphs, dependency graphs, dea···
llamacore
开源
本地跑 GGUF 模型，点点鼠标就能聊、转、训、编排
Full-featured desktop client for llama.cpp. Chat with local GGUF models, manage llam···
llamafarm
开源
几分钟部署任意 AI 模型到本地或云端
Deploy any AI model, agent, database, RAG, and pipeline locally or remotely in minut···
opennhp
开源
让未认证流量看不见，验证通过才放行
Make your infrastructure invisible to attackers. OpenNHP implements the Network-infr···
AI-in-a-Box
开源
微软官方加速器，快速搭建 Azure AI 应用
AI-in-a-Box leverages the expertise of Microsoft across the globe to develop and pro···
Nubase
开源
把 AI 写的代码变成能跑的真应用，一站式后端服务
Turn AI-written code into real apps. Nubase is an open-source, AI-native backend pla···
GUNDAM
开源
用语言模型自动给数据排优先级，让系统先处理最重要的。
GUNDAM is a data management system that prioritizes data using language models.
mlops.toys
开源
一站式逛遍 MLOps 工具，快速选型不迷路
A curated list of MLOps projects, tools and resources
edgevec
开源
把向量搜索跑在浏览器和边缘，数据不出端
High-performance vector search for Browser, Node, and Edge