All projects
O
Developer ToolingSCF Funded

OtterSec

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

Launch app
Connect
𝕏Latest on X@osec_io
View all on X →
Similar projects
By category & tags
S
Soroban AssistantDeveloper Tooling
SCF
AISecurityFormal Verification

AI assistant for Soroban Q&A, smart-contract code writing & rigorous testing to elevate your smart-contract projects.

View →
G
Gecko FuzzDeveloper Tooling
SCF
AISecurityFormal Verification

Gecko uses formal verification and fuzzing guided by dataflow patterns and LLMs to audit smart contracts on-chain autonomously.

View →
C
CyVersInfrastructure & Services
SCF
AISecurityCross-Chain

Cyvers is a ML & AI based security solution that proactively mitigates and prevents asset-loss related exploits in real-time.

View →
S
SAWDeveloper Tooling
SCF
SecurityFormal VerificationRust

A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW).

View →
U
UpwealthInfrastructure & Services
SCF
AISecurityWeb

AI-powered investment and asset management platform on Stellar, offering tokenized portfolio strategies with automated complianc…

View →
S
Source of TalesApplications
SCF
AISecurityGaming

Own your virtual self in a friendly retro world.

View →