Lumen Loop
Home
Stellar ecosystem · directory

Every project
building on Stellar.

Wallets, exchanges, on-ramps, infrastructure, oracles, indexers, dev tools — curated from public registries, grant programs, and the Lumen Loop newsroom.

Projects indexed
728
SCF-funded
610
With audits
37
New · 30d
+58
Category
All728Applications236Dev Tools137Infrastructure104Financial97Education27SCF Funded610
PaymentsDeFiSecurityAPISDKInfrastructureCross-Border PaymentsMobileAfricaCommunityDevXAIMulti-ChainAnalyticsClear filters
Taggedformal verification
1–6 of 6
G
Gecko FuzzDeveloper Tooling
SCF
SecurityFormal VerificationAI

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

View →
I
InferenceDeveloper Tooling
SCF
Formal VerificationSecurityDevX

Domain-specific formal specification language for Soroban smart contracts, enabling verifiable correctness proofs and automated …

View →
O
OtterSecDeveloper Tooling
SCF
AISecurityFormal Verification

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

View →
R
Runtime VerificationDeveloper Tooling
SCF
SecurityFormal Verification

Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.

View →
S
SAWDeveloper Tooling
SCF
Formal VerificationSecurityRust

A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW).

View →
S
Soroban AssistantDeveloper Tooling
SCF
AIFuzzFormal Verification

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

View →