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…
SecurityFormal VerificationRust
A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW).
R
Runtime VerificationDeveloper Tooling
SCF
SecurityFormal Verification
Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.
U
UpwealthInfrastructure & Services
SCF
SecurityAIWeb
AI-powered investment and asset management platform on Stellar, offering tokenized portfolio strategies with automated complianc…
I
InfereraDeveloper Tooling
SCF
SecurityFormal VerificationDevX
Domain-specific formal specification language for Soroban smart contracts, enabling verifiable correctness proofs and automated …
