
Aderyn
by cyfrin
Rust-based Solidity static analyzer for finding smart contract vulnerabilities efficiently.
What it does
Aderyn is a powerful, Rust-based static analyzer for Solidity smart contracts. It provides a "bird's eye view" of codebases to help protocol engineers and security researchers identify potential vulnerabilities and bugs without requiring complex configuration for Foundry or Hardhat projects.
Tools
- Static Analysis: Scans Solidity files for a wide range of known vulnerability patterns using a set of built-in detectors.
- Report Generation: Produces detailed security reports in Markdown, JSON, and SARIF formats for integration into CI/CD pipelines.
- AST Exploration: Leverages a custom Rust backend to generate and analyze the Abstract Syntax Tree (AST) of Solidity code.
Installation
To use Aderyn as an MCP server, add the following to your claude_desktop_config.json:
{
"mcpServers": {
"aderyn": {
"command": "aderyn",
"args": []
}
}
}
(Note: Aderyn must be installed globally via brew, npm, or the Cyfrinup manager first).
Supported hosts
- claude
- vscode-copilot
Quick install
brew install cyfrin/tap/aderynInformation
- Pricing
- free
- Published
- 4/20/2026
- stars






