IDAssistMCP
★ 51
vs
chiasmus
★ 218
IDAssistMCP vs chiasmus
IDAssistMCP：IDAssistMCP是IDA Pro 9.x的独立MCP服务器插件，为LLM客户端提供IDA分析能力。它具有38个MCP工具、8个资源和7个引导式提示，适用于逆向工程任务。服务器支持SSE和流式HTTP传输，并提供线程安全的IDB修改、LRU缓存和异步任务管理等功能。；chiasmus：Chiasmus 是一个 MCP 服务器，集成了形式化验证（Z3、Prolog）和代码分析（tree-sitter），用于解决复杂的逻辑和结构问题。它通过模板将自然语言转化为形式逻辑，并提供经过验证的结果。它还能分析源代码调用图，进行死代码、影响和可达性分析。
01
简评
IDAssistMCPDev Tooling · ★ 51
逆向工程与二进制分析
chiasmusDev Tooling · ★ 218
检测访问控制规则中的冲突
02
并排对比
03
功能特性
IDAssistMCP0138个MCP工具，涵盖二进制分析、反编译、交叉引用、符号管理、类型系统、导航等
026个合并工具，通过action/format/direction参数支持注释、变量、类型、交叉引用、书签和代码
038个MCP资源，用于浏览二进制元数据（分类、函数、导入、导出、字符串、信息、段、节）
047个引导式提示，用于常见的逆向工程工作流
05通过Hypercorn ASGI服务器支持SSE和流式HTTP传输
chiasmus01通过 Z3 SMT 求解器和 Tau Prolog 进行形式化验证
02基于 tree-sitter 的源代码分析
03基于模板的问题形式化
04端到端求解管道
05自定义语言适配器
04
使用场景
IDAssistMCP↳逆向工程与二进制分析
↳漏洞识别与文档生成
↳数据流追踪与结构恢复
chiasmus↳检测访问控制规则中的冲突
↳查找死代码并执行影响分析
↳验证软件不变量和状态机
FAQ
常见问题
IDAssistMCP 和 chiasmus 有什么区别？
IDAssistMCP 和 chiasmus 都属于 Dev Tooling 类别。IDAssistMCP 有 51 Stars，chiasmus 有 218 Stars。
IDAssistMCP 和 chiasmus 哪个更好？
最佳选择取决于你的具体需求。逆向工程与二进制分析 时选 IDAssistMCP，检测访问控制规则中的冲突 时选 chiasmus。
IDAssistMCP 是免费的吗？
是的，IDAssistMCP 在 GitHub 开源（MIT）。
chiasmus 是免费的吗？
是的，chiasmus 在 GitHub 开源（Apache-2.0）。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。
→