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

RemittEase – Send money instantly and securely across African borders. Powered by Stellar, we offer faster, cheaper, and more transparent remittance solutions than traditional wallets.

Modular price oracle live on Stellar/Soroban mainnet (since March 2026), providing real-time price feeds for DeFi protocols and institutions. Launched with 10 feeds including BTC, ETH, USDC, PYUSD and Franklin Templeton's BENJI; implements the SEP-40 oracle standard. Push-model data-feed delivery (Rust Adapter + Price Feed contracts) for Soroban smart contracts; Blend lending is preparing to integrate.

Rarible is an NFT marketplace that enables users to create, buy, and sell digital assets across multiple blockchains, including Ethereum and Polygon. Founded in 2019, it supports brands, communities, and individual creators in the NFT ecosystem.

Multi-chain interoperability platform integrating Stellar's DEXs and bridges, enabling seamless token swaps across chains with smart routing for optimal rates and fees.

CLOB-based fixed rate fixed term lending.

Plutope offers a non-custodial crypto wallet and crypto debit card, enabling users to manage and spend their digital assets securely. Their services include multi-chain wallet support, instant crypto transactions, and a debit card.

We extend Perun State Channels in the Stellar ecosystem so they can utilize off-chain and cross-chain transactions.

PeerPesa is a P2P blockchain-based remittance platform that enables fast, affordable cross-border payments using Stellar's XLM, with direct integration to mobile money and bank accounts across East Africa.

OtterSec is a blockchain security firm specializing in comprehensive audits to protect blockchain projects across multiple networks.

AI-powered blockchain analytics & insights for Soroban, making complex data simple and accessible.

OneClick.Fi offers an all-in-one DeFi onboarding platform to help web3 users get access to the best DeFi protocols/opportunities in one click with simple UX, gamification, and AI-powered risk assessments.

Nodies is a Web3 infrastructure platform and Stellar RPC node provider offering high-performance RPC and Horizon endpoints on Stellar mainnet and testnet. Lets builders read and submit transactions without self-hosting nodes. SCF-funded and listed on the official developers.stellar.org RPC providers page.

Neovestor connects emerging market investors with real-world assets and businesses.

Mystic is building a lending market for RWAs, which lets borrowers take out stablecoins using their tokenized real-world assets.

MUWPAY simplifies cross-chain token swaps with all-to-one and one-to-all functionality, enhancing liquidity and interoperability.

Mobula offers an extensive range of Data APIs tailored for decentralized applications (dApps), enabling seamless integration and real-time data access. For foundations, Mobula provides robust blockchain analytics tools to monitor and analyze user engagement and growth trends. Additionally, Mobula supports builders by offering comprehensive data warehousing solutions, ensuring efficient data storage and retrieval for enhanced application performance.

Liquidity pool optimization platform on Stellar, providing automated strategies for maximizing AMM returns and managing impermanent loss.

Revolutionizing estate planning with blockchain, making it inclusive of digital assets and secure for all.

Low-fee, trustless lending protocol on Soroban with looping functionality, enabling leveraged yield strategies on Stellar.

Kata.Games is a Stellar gaming sharing platform empowering indie developers to build, host and share online games using Web3 and Soroban, with a portal system to teleport between creator-authored worlds and NFT-based assets. Backed by the Stellar Community Fund. On-chain game creation and play-to-earn tooling for indie GameFi.

Desktop wallet providing a one-stop solution for payments & seamless use of DeFi with Web3 browser for easy access to Web3.

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

ICHI offers automated liquidity strategies for DeFi, enabling users to grow any token with low-slippage, on-chain liquidity.