C
CertoraInfrastructure & Services
formal-verificationsecurityauditing
Formal verification tools and smart contract audits that identify vulnerabilities with mathematical certainty.
G
Gecko FuzzDeveloper Tooling
SCF
formal-verificationsecurityai
Gecko uses formal verification and fuzzing guided by dataflow patterns and LLMs to audit smart contracts on-chain autonomously.
I
InfereraDeveloper Tooling
SCF
formal-verificationsecuritydevx
Domain-specific formal specification language for Soroban smart contracts, enabling verifiable correctness proofs and automated …
O
OtterSecDeveloper Tooling
SCF
formal-verificationsecurityai
OtterSec is a blockchain security firm specializing in comprehensive audits to protect blockchain projects across multiple netwo…
formal-verificationsecurityart
A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW).
S
Soroban AssistantDeveloper Tooling
SCF
formal-verificationsecurityai
AI assistant for Soroban Q&A, smart-contract code writing & rigorous testing to elevate your smart-contract projects.
