directory / security & audit

Slither MCP Server

mcpofficial

MCP server wrapping Slither static analysis for Solidity. Lets agents query contracts, functions, inheritance, and call graphs, and run Slither's security detectors over a Foundry or Hardhat project.

verifiedDX Docs production-ready
ethereum

install

claude mcp add --transport stdio --scope user slither -- uvx --from git+https://github.com/trailofbits/slither-mcp slither-mcp

use cases

  • run Slither security detectors over a Solidity project
  • list contracts and filter by type or path
  • trace internal, external, and library calls for a function
  • map inheritance and find function implementations
  • retrieve contract or function source with line numbers

tools exposed

  • list_contracts
  • get_contract
  • get_contract_source
  • get_function_source
  • list_functions
  • function_callees
  • function_callers
  • get_inherited_contracts
  • get_derived_contracts
  • list_function_implementations
  • list_detectors
  • run_detectors

metadata

maintainer
Trail of Bits
license
AGPL-3.0
auth
none
data sensitivity
read only
audit
official
pricing
open source
last commit
2026-05-19
last reviewed
2026-06-01
chains
ethereum, evm-compatible
tags
solidity, static-analysis, security, smart-contracts, detectors, evm

links

machine-readable