trailofbits/slither-mcp
View on GitHub ↗MCP server for Slither static analysis of Solidity smart contracts
96 ★10 forksPythonUpdated 4mo ago
What you need to know
Solidity smart-contract static analysis MCP server based on Slither
Install
Python 3.11+ with pip
Usage
- •Query contract/function/inheritance/call metadata and security detectors
Key features
- ✓contract/function/inheritance/call metadata
- ✓security detectors
- ✓cached project facts
Best for
Auditing Solidity contracts with AI
Caveats
- ⚠AGPL v3; caches analysis into artifacts/project_facts.json
Platforms: PythonClients: any MCP client
Reviewed 2026-08-11
Topics
- Stars
- 96★
- Forks
- 10
- Language
- Python
- License
- AGPL-3.0
- Created
- 2025-08-25
- Last push
- 2026-05-19