S
Soroban Assistant
SCF FundedDeveloper ToolingFR
AI assistant for Soroban Q&A, smart-contract code writing & rigorous testing to elevate your smart-contract projects.
No coverage yet.
G
Gecko FuzzDeveloper Tooling
SCF
aiformal-verificationsecurity
Gecko uses formal verification and fuzzing guided by dataflow patterns and LLMs to audit smart contracts on-chain autonomously.
O
OrallyInfrastructure & Services
SCF
aiautomationsecurity
On-chain oracles with cross-chain capabilities. Push and pull models with unlimited price feeds and custom data feeds.
O
OtterSecDeveloper Tooling
SCF
aiformal-verificationsecurity
OtterSec is a blockchain security firm specializing in comprehensive audits to protect blockchain projects across multiple netwo…
P
PakanaApplications
SCF
aiautomationsecurity
Pakana is a decentralized platform that streamlines payment processing and project management by leveraging Stellar's blockchain…
S
SoroBuilderDeveloper Tooling
SCF
aiautomationsecurity
SoroBuilder is an AI-driven, browser-based environment designed to streamline Soroban smart contract development. It builds full…
aiautomationmulti-chain
Accelar is a unified product development infrastructure that streamlines the creation, collaboration, launch, and management of …
