一个强大的Solidity静态分析器，对智能合约进行鸟瞰式分析。
Aderyn是一款开源的Solidity智能合约静态分析器。它无需配置即可分析Foundry和Hardhat项目，帮助发现代码中的漏洞。支持生成Markdown、JSON和Sarif报告，并为官方VSCode扩展提供支持。
Really clean MCP integration. Makes reviewing solidity code with Claude feel much safer.
The Rust engine makes this incredibly fast. Runs beautifully inside a Dockerized hardhat pipeline.
Saves so much time during smart contract audits. Catching reentrancy bugs right in Cursor before doing a deployment is awesome.
Does anyone know if there's a way to export the static analysis reports directly to PDF or markdown format?
