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.
I
InfereraDeveloper Tooling
SCF
devxformal-verificationsecurity
Domain-specific formal specification language for Soroban smart contracts, enabling verifiable correctness proofs and automated security analysis.
O
OtterSecDeveloper Tooling
SCF
aiformal-verificationsecurity
OtterSec is a blockchain security firm specializing in comprehensive audits to protect blockchain projects across multiple networks.
R
Runtime VerificationDeveloper Tooling
SCF
formal-verificationsecurity
Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.
artformal-verificationrust
A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW).
S
Soroban AssistantDeveloper Tooling
SCF
aiautomationformal-verification
AI assistant for Soroban Q&A, smart-contract code writing & rigorous testing to elevate your smart-contract projects.
