GhidrAssistMCP
★ 780
vs
chiasmus
★ 218
GhidrAssistMCP vs chiasmus
GhidrAssistMCP：GhidrAssistMCP通过实现模型上下文协议，连接AI驱动分析工具与Ghidra逆向工程平台，提供35个内置工具、6个资源和7个提示，支持多窗口和活跃上下文感知。；chiasmus：Chiasmus 是一个 MCP 服务器，集成了形式化验证（Z3、Prolog）和代码分析（tree-sitter），用于解决复杂的逻辑和结构问题。它通过模板将自然语言转化为形式逻辑，并提供经过验证的结果。它还能分析源代码调用图，进行死代码、影响和可达性分析。
01
简评
GhidrAssistMCPDev Tooling · ★ 780
使Claude等AI助手能够与Ghidra交互，实现自动化逆向工程
chiasmusDev Tooling · ★ 218
检测访问控制规则中的冲突
02
并排对比
03
功能特性
GhidrAssistMCP01完整的MCP服务器集成，支持SSE和可流式HTTP传输
0235个内置分析工具，采用基于动作的整合设计
03多程序和多窗口支持，具有活跃上下文感知能力
04结果缓存和异步任务管理以提升性能
05可配置UI，支持实时日志记录和动态工具管理
chiasmus01通过 Z3 SMT 求解器和 Tau Prolog 进行形式化验证
02基于 tree-sitter 的源代码分析
03基于模板的问题形式化
04端到端求解管道
05自定义语言适配器
04
使用场景
GhidrAssistMCP↳使Claude等AI助手能够与Ghidra交互，实现自动化逆向工程
↳通过标准化API执行二进制分析、函数发现和代码反编译
↳利用无缝窗口切换简化多二进制分析工作流
chiasmus↳检测访问控制规则中的冲突
↳查找死代码并执行影响分析
↳验证软件不变量和状态机
FAQ
常见问题
GhidrAssistMCP 和 chiasmus 有什么区别？
GhidrAssistMCP 和 chiasmus 都属于 Dev Tooling 类别。GhidrAssistMCP 有 780 Stars，chiasmus 有 218 Stars。
GhidrAssistMCP 和 chiasmus 哪个更好？
最佳选择取决于你的具体需求。使Claude等AI助手能够与Ghidra交互，实现自动化逆向工程 时选 GhidrAssistMCP，检测访问控制规则中的冲突 时选 chiasmus。
GhidrAssistMCP 是免费的吗？
是的，GhidrAssistMCP 在 GitHub 开源（MIT）。
chiasmus 是免费的吗？
是的，chiasmus 在 GitHub 开源（Apache-2.0）。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。
→