slither-mcp

by trailofbits · Python · ★ 87

MCP server for Slither static analysis of Solidity smart contracts

#ethereum#mcp#model-context-protocol#python#security#slither#smart-contracts#solidity#static-analysis

Install

pip install git+https://github.com/trailofbits/slither-mcp.git

Claude Desktop config

Add this to your claude_desktop_config.json:

{
  "mcpServers": {
    "slither-mcp": {
      "command": "uvx",
      "args": [
        "git+https://github.com/trailofbits/slither-mcp.git"
      ]
    }
  }
}

From the README

[](https://github.com/trailofbits/slither-mcp/actions/workflows/test.yml) [](https://www.python.org/downloads/) [](https://www.gnu.org/licenses/agpl-3.0) A Model Context Protocol (MCP) server that provides static analysis capabilities for Solidity smart contracts using [Slither](https://github.com/crytic/slither). This MCP server wraps Slither static analysis functionality, making it accessible through the Model Context Protocol. It can analyze Solidity projects (Foundry, Hardhat, etc.) and generate comprehensive metadata about contracts, functions, inheritance hierarchies, and more. You ca…

Read full README on GitHub →

💡 Need a managed MCP host?

Try Claude Pro for the smoothest MCP experience, or browse our cloud-hosted servers.

Related developer tools servers

everything-claude-code

affaan-m

★ 170,676

The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

Developer Tools · JavaScript