Aderyn

Provides intelligent Solidity smart contract analysis through the Aderyn static analyzer, scanning codebases to identify security vulnerabilities, code quality issues, and potential exploits across multiple severity levels with support for Foundry and Hardhat projects.

This MCP server provides intelligent Solidity smart contract analysis capabilities through the Aderyn static analyzer, built by Cyfrin in Rust with comprehensive AST parsing and vulnerability detection. The implementation offers tools for scanning Solidity codebases to identify security issues, code quality problems, and potential vulnerabilities across multiple severity levels, with support for Foundry and Hardhat project structures, configurable include/exclude patterns, and multiple output formats including JSON, Markdown, and SARIF. It integrates deeply with the Solidity compilation pipeline using solidity-ast-rs for AST generation, features parallel processing for performance, and includes LSP server capabilities for real-time IDE integration, making it valuable for security auditors performing smart contract reviews, development teams implementing continuous security scanning, and AI assistants that need to understand and analyze Solidity code patterns and vulnerabilities.