genpark-smart-contract-security-audit-formal-verifier-skill vs Solidity Contract Analyzer
Side-by-side comparison of two Ai projects on AiList.
Tagline
Web3 smart contract static analyzer, formal verification & vulnerability audit
Analyzes Solidity smart contracts through AST parsing to trace function execution flows, variable interactions, state changes, and external contract calls for debugging and security auditing.
GitHub Stars
9
6
Stars This Week
—
—
Language
—
TypeScript
License
—
—
Built With
—
—
Views
45
60
Clicks
0
6