O
OtterSecDeveloper Tooling
SCF
SecurityFormal VerificationAI
OtterSec is a blockchain security firm specializing in comprehensive audits to protect blockchain projects across multiple netwo…
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.
U
UpwealthInfrastructure & Services
SCF
SecurityAIWeb
AI-powered investment and asset management platform on Stellar, offering tokenized portfolio strategies with automated complianc…
S
Source of TalesApplications
SCF
SecurityAIGaming
Own your virtual self in a friendly retro world.
SecurityFormal VerificationRust
A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW).
C
CertoraInfrastructure & Services
SecurityFormal VerificationAuditing
Formal verification tools and smart contract audits that identify vulnerabilities with mathematical certainty.
