Ecosystem Projects
Join the Global Stellar Ecosystem
Explore the projects around the world that choose to build on the Stellar network.
Spotlight
Highlighted Partners
Sort
Filter
Tags
4 results
Certora
Formal Verification Tool
Audit Firm
DeFi
Certora ensures correctness of Smart Contracts by applying modular formal verification.
Formal Verso
Formal Verification Tool
DeFi
A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench
Soroban Explorer
Formal Verification Tool
DeFi
Enable users to verify smart contracts by compiling the underlying code, helping avoid malicious contracts & actors.
Usher Labs
Formal Verification Tool
DeFi
Enhancing Stellar's Anchors with the Anchor Transparency Node: Secure, verifiable, and transparent off-chain Payment Rails data verified on-chain.
Anchor Directory & Integration Partners
Explore the Network
Service Providers
Looking to build on the Stellar network? Find service providers with the experience needed to help your business integrate.
Anchor Directory
Explore the ecosystem of on and off-ramps and anchors building on the Stellar network. Search by country, assets, and more.
Submit Your Project
Wish to be included?
Are you building a project, product, or application on Stellar and would like to be featured in this project directory? Submit your project for review!