GhidraMCP
★ 11.5k
vs
sourcerykit
★ 21
GhidraMCP vs sourcerykit
GhidraMCP:GhidraMCP是一个模型上下文协议(MCP)服务器,使大型语言模型(LLMs)能够自主进行应用程序的逆向工程。它将Ghidra的核心功能暴露给各种MCP客户端,便于自动化的二进制分析和重命名。;sourcerykit:SourceryKit(即 Provably SDK)是一个 Python 库,为任何 Python 代理集成了一个确定性的评估层。它记录出站 HTTP 调用,根据可信记录评估声明,并强制执行端点策略,以确保代理在定义的边界内运行。
01
简评
GhidraMCPSecurity & Safety · ★ 11.5k
何时选择它(优势与适用):
- 正在使用免费开源的 Ghidra 逆向分析套件,希望让 Claude 或 Cursor 等智能体通过 MCP 协议直接调用反编译、重命名、函数列表和符号分析工具。
- 需要搭建完全开源、无需商业逆向软件授权的自动化二进制分析与逆向工程流水线。
何时考虑替代方案:
- 团队主力逆向工具是商业版 IDA Pro 与 Hex-Rays 反编译器;针对 IDA Pro 应使用专用的 ida-pro-mcp。
- 不涉及可执行二进制反编译、固件或汇编逆向分析工作。
sourcerykitSecurity & Safety · ★ 21
确保 LLM 代理遵守预定义的安全性策略和可信端点。
02
并排对比
字段
分类
安全与合规
安全与合规
Stars
★ 11.5k
★ 21
许可证
Apache-2.0
NOASSERTION
安装方式
git clone https://github.com/LaurieWired/GhidraMCP.git
git clone [email protected]:ProvablyAI/provably-python-sdk.git && pip install -e ./provably-python-sdk
更新时间
1周前
3天前
开源
是
是
标签
Ghidra, 逆向工程, 大型语言模型
Python SDK, LLM 代理, 可验证的防护栏
03
功能特性
01作为MCP服务器和Ghidra插件运行
02在Ghidra中反编译和分析二进制文件
03自动重命名方法和数据
04列出方法、类、导入和导出
05与各种MCP客户端集成
01拦截并检查出站 HTTP 调用,确保只访问可信端点。
02捕获并存储所有 HTTP 请求和响应到 PostgreSQL 数据库中。
03使用确定性比较,根据经过验证的索引值评估代理声明。
04与主流 LLM 框架和 SDK 无缝集成,例如 OpenAI、LangChain 和 LlamaIndex。
04
使用场景
↳赋能大型语言模型自主进行应用程序逆向工程。
↳将Ghidra强大的分析能力与AI代理集成。
↳通过MCP客户端界面自动化二进制分析任务。
↳确保 LLM 代理遵守预定义的安全性策略和可信端点。
↳根据 AI 代理的外部交互,验证其所做声明的准确性。
↳构建可审计的 AI 系统,其中每个外部调用和代理声明都可被记录和验证。
↳为代理实现可验证的防护栏,以防止未经授权的访问或数据篡改。
05
适合场景
最受欢迎必备神器时下流行
—
FAQ
常见问题
GhidraMCP 和 sourcerykit 有什么区别?
GhidraMCP 和 sourcerykit 都属于 Security & Safety 类别。GhidraMCP 有 11.5k Stars,sourcerykit 有 21 Stars。
GhidraMCP 和 sourcerykit 哪个更好?
最佳选择取决于你的具体需求。赋能大型语言模型自主进行应用程序逆向工程。 时选 GhidraMCP,确保 LLM 代理遵守预定义的安全性策略和可信端点。 时选 sourcerykit。
GhidraMCP 是免费的吗?
是的,GhidraMCP 在 GitHub 开源(Apache-2.0)。
sourcerykit 是免费的吗?
是的,sourcerykit 在 GitHub 开源(NOASSERTION)。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器,新用户立享 $200 免费额度(60天有效)。
→