tardygrada
★ 23
vs
antrieb-mcp-server
★ 14
tardygrada vs antrieb-mcp-server
tardygrada：Tardygrada是一种编程语言，编译为MCP服务器，每个值都带有创建者、创建时间和完整性的密码学证明。它通过mprotect、SHA-256、ed25519和BFT共识（Coq证明）保证完整性，通过签名保证来源，并记录完整审计追踪。但它不保证真实性，只确保值未被篡改，即使在代理间100次交接后也能提供100%的证明。；antrieb-mcp-server：Antrieb是一个远程MCP服务器，为AI智能体提供真实的VM集群。智能体可以在不到一秒内快速创建多节点集群，执行命令，保存镜像，并销毁集群。无需本地安装。
01
简评
tardygradaSecurity & Safety · ★ 23
保护多代理系统中代理间传递数据的完整性
antrieb-mcp-serverSecurity & Safety · ★ 14
创建集群并在所有节点上安装软件（如nginx）
02
并排对比
字段
tardygradaantrieb-mcp-server分类
安全与合规
安全与合规
Stars
★ 23
★ 14
许可证
MIT
Apache-2.0
安装方式
git clone https://github.com/fabio-rovai/tardygrada && cd tardygrada && make
git clone https://github.com/jade-pico/antrieb-mcp-server.git
更新时间
2个月前
5个月前
开源
是
是
标签
agent-framework, AI 智能体, ai-safety
AI 智能体, ai-safety, Ansible
03
功能特性
tardygrada01通过操作系统内核（mprotect）和密码学（SHA-256, ed25519）保证完整性
02通过签名元数据追踪来源（谁、何时）
03每个操作的完整审计日志
04多种不可变级别（let, @verified, @hardened, @sovereign）
05编译为MCP服务器，与代理框架集成
antrieb-mcp-server01每个节点不到一秒的即时集群创建
02真实虚拟机，具有root权限、私有网络和无密码SSH
03远程MCP服务器，无需本地安装
04将任意节点保存为可复用的自定义镜像
05多节点网络，支持私有IP和主机名解析
04
使用场景
tardygrada↳保护多代理系统中代理间传递数据的完整性
↳需要防篡改证据的高置信度领域，如医疗诊断
↳为现有代理框架（CrewAI、LlamaIndex、MiroFish）添加完整性证明
antrieb-mcp-server↳创建集群并在所有节点上安装软件（如nginx）
↳从配置好的节点创建自定义镜像以便复用
↳在真实虚拟机上测试基础设施即代码（如Terraform、Ansible）
FAQ
常见问题
tardygrada 和 antrieb-mcp-server 有什么区别？
tardygrada 和 antrieb-mcp-server 都属于 Security & Safety 类别。tardygrada 有 23 Stars，antrieb-mcp-server 有 14 Stars。
tardygrada 和 antrieb-mcp-server 哪个更好？
最佳选择取决于你的具体需求。保护多代理系统中代理间传递数据的完整性 时选 tardygrada，创建集群并在所有节点上安装软件（如nginx） 时选 antrieb-mcp-server。
tardygrada 是免费的吗？
是的，tardygrada 在 GitHub 开源（MIT）。
antrieb-mcp-server 是免费的吗？
是的，antrieb-mcp-server 在 GitHub 开源（Apache-2.0）。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。
→