GitHub repository: programskillforverification/aderyn
Primary language: Rust
Description: Aderyn 🦜 Rust-based Solidity AST analyzer.