Wallets, exchanges, on-ramps, infrastructure, oracles, indexers, dev tools — curated from public registries, grant programs, and the Lumen Loop newsroom.
Formal verification tools and smart contract audits that identify vulnerabilities with mathematical certainty.
Gecko uses formal verification and fuzzing guided by dataflow patterns and LLMs to audit smart contracts on-chain autonomously.
Domain-specific formal specification language for Soroban smart contracts, enabling verifiable correctness proofs and automated …
OtterSec is a blockchain security firm specializing in comprehensive audits to protect blockchain projects across multiple netwo…
Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.
A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW).
