O
OrallyInfrastructure & Services
SCF
AISecurityAutomation
On-chain oracles with cross-chain capabilities. Push and pull models with unlimited price feeds and custom data feeds.
S
SoroBuilderDeveloper Tooling
SCF
AISecurityAutomation
SoroBuilder is an AI-driven, browser-based environment designed to streamline Soroban smart contract development. It builds full…
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.
P
PakanaApplications
SCF
AISecurityAutomation
Pakana is a decentralized platform that streamlines payment processing and project management by leveraging Stellar's blockchain…
O
OtterSecDeveloper Tooling
SCF
AIFormal VerificationSecurity
OtterSec is a blockchain security firm specializing in comprehensive audits to protect blockchain projects across multiple netwo…
A
AnChain.AIDeveloper Tooling
SCF
AISecurityMulti-Chain
The AnChain.AI Catalog is an open-source catalog of audited smart contracts designed to help companies build web3 projects faster.
