Stellar Community Fund

Gecko Fuzz

SCF #22

Gecko uses formal verification and fuzzing guided by dataflow patterns and LLMs to audit smart contracts on-chain autonomously.

Team Size

By Gecko Fuzz

Gecko Fuzz: Automated Fuzzing

SCF #22

$30.0K

Legacy v5.0 Activation Award

Awarded

Supporting developers, startups, and full-fledged companies building on Stellar and Soroban

Subscribe to the Newsletter

Policies

Stay Connected