ida-pro-mcp
★ 13.1k
vs
sourcerykit
★ 21
ida-pro-mcp vs sourcerykit
ida-pro-mcp：IDA Pro MCP 是一个简单的服务器，它将 IDA Pro 与模型上下文协议（MCP）客户端集成，从而实现强大的 LLM 辅助逆向工程。它提供了一个全面、类型安全的 API，用于访问和修改 IDA Pro 的内部状态，从而简化了自动化分析工作流程。；sourcerykit：SourceryKit（即 Provably SDK）是一个 Python 库，为任何 Python 代理集成了一个确定性的评估层。它记录出站 HTTP 调用，根据可信记录评估声明，并强制执行端点策略，以确保代理在定义的边界内运行。
01
简评
ida-pro-mcpSecurity & Safety · ★ 13.1k
何时选择它（优势与适用）：
- 使用商业级 IDA Pro 进行逆向分析，希望让 Claude 或 Cursor 等智能体通过 MCP 直接读取反汇编、Hex-Rays 反编译伪代码与类型系统。
- 希望在 IDA Pro 中让大模型自动批量重命名混淆函数、添加关键反编译注释并分析潜在漏洞。
何时考虑替代方案：
- 团队使用的是开源免费的 NSA Ghidra；针对 Ghidra 环境应选用 GhidraMCP。
- 本地没有安装并获得授权的商业版 IDA Pro。
sourcerykitSecurity & Safety · ★ 21
确保 LLM 代理遵守预定义的安全性策略和可信端点。
02
并排对比
字段
ida-pro-mcpsourcerykit分类
安全与合规
安全与合规
Stars
★ 13.1k
★ 21
许可证
MIT
NOASSERTION
安装方式
pip uninstall ida-pro-mcp && pip install https://github.com/mrexodia/ida-pro-mcp/archive/refs/heads/main.zip && ida-pro-mcp --install
git clone [email protected]:ProvablyAI/provably-python-sdk.git && pip install -e ./provably-python-sdk
更新时间
3周前
3天前
开源
是
是
标签
IDA Pro, 逆向工程, MCP
Python SDK, LLM 代理, 可验证的防护栏
03
功能特性
ida-pro-mcp01带有 TypedDict 模式的类型安全 API，以提高 IDE 支持和 LLM 结构化输出
02批处理优先设计，大多数操作同时接受单个项目和列表
03一致的错误处理，所有批处理操作都返回结构化的错误信息
04搜索功能采用基于游标的分页，以管理大量结果
05通过字符串缓存进行性能优化，避免重复调用 build_strlist
sourcerykit01拦截并检查出站 HTTP 调用，确保只访问可信端点。
02捕获并存储所有 HTTP 请求和响应到 PostgreSQL 数据库中。
03使用确定性比较，根据经过验证的索引值评估代理声明。
04与主流 LLM 框架和 SDK 无缝集成，例如 OpenAI、LangChain 和 LlamaIndex。
04
使用场景
ida-pro-mcp↳在 IDA Pro 中直接进行 LLM 辅助的逆向工程
↳自动化二进制分析任务和程序化修改 IDA Pro 数据库
↳将 IDA Pro 的丰富上下文与各种模型上下文协议（MCP）客户端集成
sourcerykit↳确保 LLM 代理遵守预定义的安全性策略和可信端点。
↳根据 AI 代理的外部交互，验证其所做声明的准确性。
↳构建可审计的 AI 系统，其中每个外部调用和代理声明都可被记录和验证。
↳为代理实现可验证的防护栏，以防止未经授权的访问或数据篡改。
05
适合场景
ida-pro-mcp最受欢迎必备神器时下流行
sourcerykit—
FAQ
常见问题
ida-pro-mcp 和 sourcerykit 有什么区别？
ida-pro-mcp 和 sourcerykit 都属于 Security & Safety 类别。ida-pro-mcp 有 13.1k Stars，sourcerykit 有 21 Stars。
ida-pro-mcp 和 sourcerykit 哪个更好？
最佳选择取决于你的具体需求。在 IDA Pro 中直接进行 LLM 辅助的逆向工程 时选 ida-pro-mcp，确保 LLM 代理遵守预定义的安全性策略和可信端点。 时选 sourcerykit。
ida-pro-mcp 是免费的吗？
是的，ida-pro-mcp 在 GitHub 开源（MIT）。
sourcerykit 是免费的吗？
是的，sourcerykit 在 GitHub 开源（NOASSERTION）。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。
→