Lumen Loop
All projects
G
Developer ToolingSCF Funded

Gecko Fuzz

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

Launch app
Connect
Latest news

We don't have any news articles linked to Gecko Fuzz yet. If you know of an article or resource about this project, let us know.

{ }@jjjutla5 repositories
View all on GitHub →
Similar projects
By category & tags
O
OtterSecDeveloper Tooling
SCF
SecurityFormal VerificationAI

OtterSec is a blockchain security firm specializing in comprehensive audits to protect blockchain projects across multiple netwo…

View →
S
Soroban AssistantDeveloper Tooling
SCF
SecurityFormal VerificationAI

AI assistant for Soroban Q&A, smart-contract code writing & rigorous testing to elevate your smart-contract projects.

View →
B
BevorDeveloper Tooling
SCF
SecurityAIAuditing

AI co-pilot for smart contract security, providing automated vulnerability detection, risk modeling, and audit delivery across d…

View →
F
FreeliiApplications
SCF
SecurityAISoftware Wallet

Non-custodial Stellar wallet with built-in fiat on/off ramps, peer-to-peer payments, and savings features for everyday users.

View →
P
Pakana.NetApplications
SCF
SecurityAIPayment Gateway

Pakana is a decentralized platform that streamlines payment processing and project management by leveraging Stellar's blockchain…

View →
O
OrallyInfrastructure & Services
SCF
SecurityAIOracle

On-chain oracles with cross-chain capabilities. Push and pull models with unlimited price feeds and custom data feeds.

View →