aderyn
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 |
More from hairyf/blockchain-master
openzeppelin-contracts
Secure smart contract library—access control, tokens (ERC20/721/1155/4626/6909), upgradeable contracts, and utilities.
15viem
TypeScript interface for Ethereum — clients, contracts, accounts, chains, ENS, and utilities.
13wagmi
Wagmi — React/Vue/Solid hooks and Core for Ethereum; config, connectors, read/write contracts, TanStack Query.
11ton
TON Blockchain — addresses, messages, TVM, cells, Blueprint, contracts, payments, API.
11envio
Envio blockchain data stack — HyperSync, HyperIndex, HyperRPC; fast indexing and data APIs.
8uniswap-v4
Uniswap v4 core pool logic — singleton PoolManager, unlock/callback, pool actions, hooks, and types.
7