Dashboard
More
Policies
Stay Connected
By Gecko Fuzz
Gecko uses formal verification and fuzzing guided by dataflow patterns and LLMs to audit smart contracts on-chain autonomously.
$30.0K
Jeevan Jutla
View Project
No other submissions.