tardygrada
★ 23
vs
ida-pro-mcp
★ 13.1k
tardygrada vs ida-pro-mcp
tardygrada：Tardygrada是一种编程语言，编译为MCP服务器，每个值都带有创建者、创建时间和完整性的密码学证明。它通过mprotect、SHA-256、ed25519和BFT共识（Coq证明）保证完整性，通过签名保证来源，并记录完整审计追踪。但它不保证真实性，只确保值未被篡改，即使在代理间100次交接后也能提供100%的证明。；ida-pro-mcp：IDA Pro MCP 是一个简单的服务器，它将 IDA Pro 与模型上下文协议（MCP）客户端集成，从而实现强大的 LLM 辅助逆向工程。它提供了一个全面、类型安全的 API，用于访问和修改 IDA Pro 的内部状态，从而简化了自动化分析工作流程。
01
简评
tardygradaSecurity & Safety · ★ 23
保护多代理系统中代理间传递数据的完整性
ida-pro-mcpSecurity & Safety · ★ 13.1k
何时选择它（优势与适用）：
- 使用商业级 IDA Pro 进行逆向分析，希望让 Claude 或 Cursor 等智能体通过 MCP 直接读取反汇编、Hex-Rays 反编译伪代码与类型系统。
- 希望在 IDA Pro 中让大模型自动批量重命名混淆函数、添加关键反编译注释并分析潜在漏洞。
何时考虑替代方案：
- 团队使用的是开源免费的 NSA Ghidra；针对 Ghidra 环境应选用 GhidraMCP。
- 本地没有安装并获得授权的商业版 IDA Pro。
02
并排对比
字段
tardygradaida-pro-mcp分类
安全与合规
安全与合规
Stars
★ 23
★ 13.1k
许可证
MIT
MIT
安装方式
git clone https://github.com/fabio-rovai/tardygrada && cd tardygrada && make
pip uninstall ida-pro-mcp && pip install https://github.com/mrexodia/ida-pro-mcp/archive/refs/heads/main.zip && ida-pro-mcp --install
更新时间
2个月前
3周前
开源
是
是
标签
agent-framework, AI 智能体, ai-safety
IDA Pro, 逆向工程, MCP
03
功能特性
tardygrada01通过操作系统内核（mprotect）和密码学（SHA-256, ed25519）保证完整性
02通过签名元数据追踪来源（谁、何时）
03每个操作的完整审计日志
04多种不可变级别（let, @verified, @hardened, @sovereign）
05编译为MCP服务器，与代理框架集成
ida-pro-mcp01带有 TypedDict 模式的类型安全 API，以提高 IDE 支持和 LLM 结构化输出
02批处理优先设计，大多数操作同时接受单个项目和列表
03一致的错误处理，所有批处理操作都返回结构化的错误信息
04搜索功能采用基于游标的分页，以管理大量结果
05通过字符串缓存进行性能优化，避免重复调用 build_strlist
04
使用场景
tardygrada↳保护多代理系统中代理间传递数据的完整性
↳需要防篡改证据的高置信度领域，如医疗诊断
↳为现有代理框架（CrewAI、LlamaIndex、MiroFish）添加完整性证明
ida-pro-mcp↳在 IDA Pro 中直接进行 LLM 辅助的逆向工程
↳自动化二进制分析任务和程序化修改 IDA Pro 数据库
↳将 IDA Pro 的丰富上下文与各种模型上下文协议（MCP）客户端集成
05
适合场景
tardygrada—
ida-pro-mcp最受欢迎必备神器时下流行
FAQ
常见问题
tardygrada 和 ida-pro-mcp 有什么区别？
tardygrada 和 ida-pro-mcp 都属于 Security & Safety 类别。tardygrada 有 23 Stars，ida-pro-mcp 有 13.1k Stars。
tardygrada 和 ida-pro-mcp 哪个更好？
最佳选择取决于你的具体需求。保护多代理系统中代理间传递数据的完整性 时选 tardygrada，在 IDA Pro 中直接进行 LLM 辅助的逆向工程 时选 ida-pro-mcp。
tardygrada 是免费的吗？
是的，tardygrada 在 GitHub 开源（MIT）。
ida-pro-mcp 是免费的吗？
是的，ida-pro-mcp 在 GitHub 开源（MIT）。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。
→