G
Gecko Fuzz
SCF FundedDeveloper ToolingUS
Gecko uses formal verification and fuzzing guided by dataflow patterns and LLMs to audit smart contracts on-chain autonomously.
No coverage yet.
O
OtterSecDeveloper Tooling
SCF
aiformal-verificationsecurity
OtterSec is a blockchain security firm specializing in comprehensive audits to protect blockchain projects across multiple netwo…
S
Soroban AssistantDeveloper Tooling
SCF
aiformal-verificationsecurity
AI assistant for Soroban Q&A, smart-contract code writing & rigorous testing to elevate your smart-contract projects.
A
AlmanaxDeveloper Tooling
SCF
aisecuritymulti-chain
Almanax is an automated security auditor that leverages AI to find and fix vulnerabilities in smart contracts.
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.
B
BevorDeveloper Tooling
SCF
aisecurityauditing
AI co-pilot for smart contract security, providing automated vulnerability detection, risk modeling, and audit delivery across d…
C
CertoraInfrastructure & Services
formal-verificationsecurityauditing
Formal verification tools and smart contract audits that identify vulnerabilities with mathematical certainty.
