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
OtterSecDeveloper Tooling
SCF
AIFormal VerificationSecurity
OtterSec is a blockchain security firm specializing in comprehensive audits to protect blockchain projects across multiple netwo…
O
OrallyInfrastructure & Services
SCF
AISecurityAutomation
On-chain oracles with cross-chain capabilities. Push and pull models with unlimited price feeds and custom data feeds.
P
Pakana.NetApplications
SCF
AISecurityAutomation
Pakana is a decentralized platform that streamlines payment processing and project management by leveraging Stellar's blockchain…
S
SoroBuilderDeveloper Tooling
SCF
AISecurityAutomation
SoroBuilder is an AI-driven, browser-based environment designed to streamline Soroban smart contract development. It builds full…
SecurityAutomationPayroll
P'aid provides easy and affordable payroll solutions with blockchain technology seamlessly abstracted, simplifying global paymen…
