Aderyn — Rust-based Solidity static analyzer; CLI, config, detectors, report formats, and MCP tools for agents.
Resources
2Install
npx skillscat add hairyf/blockchain-skills/aderyn Install via the SkillsCat registry.
SKILL.md
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 |