Gecko Fuzz: Automated Fuzzing

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

Website

Core team

Jeevan Jutla

jj.6599

Submissions

See All

Gecko Fuzz: Automated Fuzzing

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

22

$30,000

See All

*The USD valuation of the budget request in XLM will be calculated using the CF Stellar Lumens-Dollar Settlement Price on the day of payment as administered, maintained, and reported by the cryptocurrency index provider CF Benchmarks Ltd. (using the ticker XLMUSD_RR) (available at https://www.cfbenchmarks.com/indices/XLMUSD_RR). Learn more in the SCF Handbook.