The Stellar Community Fund hosted its July 2026 mainnet demo day, showcasing 75 awarded projects live on the network. Featured presentations included Inference, a formal verification language for Soroban smart contracts, and Lumen Loop, an ecosystem content aggregator and project directory.
The Stellar Community Fund's July 2026 mainnet demo day featured 75 awarded projects live on Stellar, marking a major milestone: over 900 interest forms received and $7.7M+ awarded in 2026 alone. Standout presentations included Inference, a domain-specific formal verification language for Soroban that brings theorem proving to smart contract development with compile-time auto-formalization, and Lumen Loop, an ecosystem discovery platform that aggregates Stellar content from X, blogs, YouTube, and community sources, automatically tagging projects and syncing events. The presentations highlighted how the ecosystem is building foundational infrastructure for developer productivity and real-time ecosystem awareness.
