genpark-smart-contract-security-audit-formal-verifier-skill vs Solodit
Side-by-side comparison of two Ai projects on AiList.
Tagline
Web3 smart contract static analyzer, formal verification & vulnerability audit
Integrates with Solodit's vulnerability database to search smart contract security audit findings and retrieve detailed vulnerability reports including impact levels, audit firm details, and technical descriptions for security research and analysis workflows.
GitHub Stars
9
41
Stars This Week
—
—
Language
—
TypeScript
License
—
—
Built With
—
—
Views
45
87
Clicks
0
9