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.
O
OtterSecDeveloper Tooling
SCF
SecurityFormal VerificationAI
OtterSec is a blockchain security firm specializing in comprehensive audits to protect blockchain projects across multiple netwo…
U
UpwealthInfrastructure & Services
SCF
SecurityAIWeb
AI-powered investment and asset management platform on Stellar, offering tokenized portfolio strategies with automated complianc…
A
AnChain.AIDeveloper Tooling
SCF
SecurityAIMulti-Chain
The AnChain.AI Catalog is an open-source catalog of audited smart contracts designed to help companies build web3 projects faster.
SecurityAISoftware Wallet
Non-custodial Stellar wallet with built-in fiat on/off ramps, peer-to-peer payments, and savings features for everyday users.
B
BevorDeveloper Tooling
SCF
SecurityAIAuditing
AI co-pilot for smart contract security, providing automated vulnerability detection, risk modeling, and audit delivery across d…
