Skill based on Aderyn (Cyfrin/aderyn), generated 2026-02-24.
Aderyn is a Rust-based Solidity static analyzer that finds vulnerabilities and code-quality issues. It supports Foundry and Hardhat with no config, optional aderyn.toml for path and detector control, and an MCP server for AI/editor integration. This skill focuses on agent use: CLI, configuration, detectors, report outputs, and MCP tools.
Core References
| Topic |
Description |
Reference |
| CLI |
Root, src, path include/exclude, output, subcommands (init, mcp, registry, docs, completions) |
core-cli |
| Config |
aderyn.toml — root, src, include/exclude, detectors, env |
core-config |
| Report formats |
Markdown, JSON, SARIF structure and usage |
core-report-formats |
Features
| Topic |
Description |
Reference |
| Detectors |
Registry (aderyn registry), severity High/Low, include/exclude in config |
features-detectors |
| MCP |
stdio/HTTP server; tools: project overview, list contracts, contract surface, callgraph, node finder/summarizer |
features-mcp |
Best practices
| Topic |
Description |
Reference |
| Project setup |
When to use aderyn.toml, path filters, detector tuning for Foundry/Hardhat |
best-practices-project-setup |
External links