Gecko Fuzz: Automated Fuzzing

Gecko uses formal verification and fuzzing guided by dataflow patterns and LLMs to audit smart contracts on-chain autonomously.
project-image-0
Project Type
Testing Tool
Total awarded
$30.0K*
Submissions
1
Core team
Jeevan Jutla
Jeevan Jutla
github_icon jj.6599
github_icon

*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.

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