Gecko Fuzz: Automated Fuzzing

Gecko uses formal verification and fuzzing guided by dataflow patterns and LLMs to audit smart contracts on-chain autonomously.
Project Type
Testing Tool
Total awarded
Core team
Jeevan Jutla
Jeevan Jutla
github_icon jj.6599

*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 Learn more in the SCF Handbook.

Supporting developers, startups, and full-fledged companies building on Stellar and Soroban
© 2023 Stellar Development Foundation
Subscribe to the Newsletter