tardygrada
★ 23
vs
GhidraMCP
★ 11.5k
tardygrada vs GhidraMCP
tardygrada:Tardygrada是一种编程语言,编译为MCP服务器,每个值都带有创建者、创建时间和完整性的密码学证明。它通过mprotect、SHA-256、ed25519和BFT共识(Coq证明)保证完整性,通过签名保证来源,并记录完整审计追踪。但它不保证真实性,只确保值未被篡改,即使在代理间100次交接后也能提供100%的证明。;GhidraMCP:GhidraMCP是一个模型上下文协议(MCP)服务器,使大型语言模型(LLMs)能够自主进行应用程序的逆向工程。它将Ghidra的核心功能暴露给各种MCP客户端,便于自动化的二进制分析和重命名。
01
简评
tardygradaSecurity & Safety · ★ 23
保护多代理系统中代理间传递数据的完整性
GhidraMCPSecurity & Safety · ★ 11.5k
何时选择它(优势与适用):
- 正在使用免费开源的 Ghidra 逆向分析套件,希望让 Claude 或 Cursor 等智能体通过 MCP 协议直接调用反编译、重命名、函数列表和符号分析工具。
- 需要搭建完全开源、无需商业逆向软件授权的自动化二进制分析与逆向工程流水线。
何时考虑替代方案:
- 团队主力逆向工具是商业版 IDA Pro 与 Hex-Rays 反编译器;针对 IDA Pro 应使用专用的 ida-pro-mcp。
- 不涉及可执行二进制反编译、固件或汇编逆向分析工作。
02
并排对比
字段
分类
安全与合规
安全与合规
Stars
★ 23
★ 11.5k
许可证
MIT
Apache-2.0
安装方式
git clone https://github.com/fabio-rovai/tardygrada && cd tardygrada && make
git clone https://github.com/LaurieWired/GhidraMCP.git
更新时间
2个月前
1周前
开源
是
是
标签
agent-framework, AI 智能体, ai-safety
Ghidra, 逆向工程, 大型语言模型
03
功能特性
01通过操作系统内核(mprotect)和密码学(SHA-256, ed25519)保证完整性
02通过签名元数据追踪来源(谁、何时)
03每个操作的完整审计日志
04多种不可变级别(let, @verified, @hardened, @sovereign)
05编译为MCP服务器,与代理框架集成
01作为MCP服务器和Ghidra插件运行
02在Ghidra中反编译和分析二进制文件
03自动重命名方法和数据
04列出方法、类、导入和导出
05与各种MCP客户端集成
04
使用场景
↳保护多代理系统中代理间传递数据的完整性
↳需要防篡改证据的高置信度领域,如医疗诊断
↳为现有代理框架(CrewAI、LlamaIndex、MiroFish)添加完整性证明
↳赋能大型语言模型自主进行应用程序逆向工程。
↳将Ghidra强大的分析能力与AI代理集成。
↳通过MCP客户端界面自动化二进制分析任务。
05
适合场景
—
最受欢迎必备神器时下流行
FAQ
常见问题
tardygrada 和 GhidraMCP 有什么区别?
tardygrada 和 GhidraMCP 都属于 Security & Safety 类别。tardygrada 有 23 Stars,GhidraMCP 有 11.5k Stars。
tardygrada 和 GhidraMCP 哪个更好?
最佳选择取决于你的具体需求。保护多代理系统中代理间传递数据的完整性 时选 tardygrada,赋能大型语言模型自主进行应用程序逆向工程。 时选 GhidraMCP。
tardygrada 是免费的吗?
是的,tardygrada 在 GitHub 开源(MIT)。
GhidraMCP 是免费的吗?
是的,GhidraMCP 在 GitHub 开源(Apache-2.0)。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器,新用户立享 $200 免费额度(60天有效)。
→