web3-solidity-audit-mcplisted

# SKILL 36 — SOLIDITY AUDIT MCP: CLAUDE-NATIVE SMART CONTRACT SCANNER > From: github.com/mariano-aguero/solidity-audit-mcp — MCP server plugging Slither + Aderyn + SWC patterns into Claude Code > 10 tools. 19 built-in finding explainers. 86 SWC detectors. DeFi + Web3 preset detector packs. CI/CD ready. --- ## WHAT IT IS An MCP server that gives Claude Code direct access to Slither, Aderyn, Slang AST, SWC pattern matching, and a gas optimizer — all in one unified pipeline with auto-deduplication. Instead of context-switching between tools, you ask Claude to audit a contract and get a merged, severity-sorted report. **Stack:** ``` External (install separately): Slither → Trail of Bits, 90+ detectors, deep data flow Aderyn → Cyfrin Rust-based, fast AST analysis Echidna → Property fuzzer (optional) Halmos → Symbolic execution (optional) Built-in (no install): Slang → Nomic Foundation AST parser, precise pattern matching SWC → 86 detectors against Smart Contract Weakness Classification registry Gas → Storage packing, loop, calldata optimizations ``` --- ## INSTALL & CONFIGURE ```bash # Prerequisites pip install slither-analyzer solc-select solc-select install 0.8.20 && solc-select use 0.8.20 curl -L https://foundry.paradigm.xyz | bash && foundryup # Aderyn (Rust) cargo install aderyn # or: curl -L https://raw.githubusercontent.com/Cyfrin/aderyn/dev/cyfrinup/install | bash # MCP server npm install -g solidity-audit-mcp # or: npx sol