用途：为 Claude Code 提供 Solidity 智能合约审计的统一流水线，将 Slither、Aderyn、Slang AST 与 SWC 模式匹配整合，并自动去重、按严重度排序输出报告。
主要能力：提供 10 个 MCP 工具。analyze_contract 执行完整流水线；get_contract_info 快速生成攻击面地图；check_vulnerabilities 执行 SWC 模式扫描；explain_finding 给出根因、影响、利用步骤与修复；generate_invariants 自动生成 Foundry 不变量测试；diff_audit 只审计变更；audit_project 审计整个目录；optimize_gas 分析 gas；run_tests 集成 Forge；generate_report 生成格式化报告。内置 86 个 SWC 检测器、19 个发现解释器及 DeFi 预设检测包。
使用方式：需先安装 Slither、solc-select、Foundry、Aderyn，再安装 solidity-audit-mcp，并在 ~/.claude/mcp.json 或项目 .mcp.json 中配置 MCP 服务器。也可使用 Docker 运行，或通过 CLI（solidity-audit-cli audit/diff/gas）与远程 SSE 模式使用。CI/CD 中可配合 GitHub Actions 与 SARIF 输出，用退出码 0/1/2 作为合并门禁。
适用场景：分析 Solidity 文件、审计 DeFi 协议、审查升级 PR、生成不变量测试及 gas 优化。
限制：Slither、Aderyn、Echidna、Halmos 需另行安装；未提供具体价格或收费信息；具体检测准确率与效果暂未提供。