Aderyn

Provides intelligent Solidity smart contract analysis through the Aderyn static analyzer, scanning codebases to identify security

cyfrin 784 ↓ 19k
Claude CodeClaude DesktopGeneric
View source ↗

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.

Source

Repository: https://github.com/cyfrin/aderyn

Maintain Aderyn?

Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.

Aderyn on getagentictools
[![Aderyn on getagentictools](https://getagentictools.com/badge/mcp/cyfrin-aderyn.svg)](https://getagentictools.com/mcp/cyfrin-aderyn?ref=badge)