trailofbits/slither-mcp

View on GitHub ↗

MCP server for Slither static analysis of Solidity smart contracts

96 ★10 forksPythonUpdated 3mo 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

ethereummcpmodel-context-protocolpythonsecurityslithersmart-contractssoliditystatic-analysis
Stars
96★
Forks
10
Language
Python
License
AGPL-3.0
Created
2025-08-25
Last push
2026-05-19