Stellar security and auditing tools3 security and auditing tools whose own docs name Stellar, compared on price, network and the catch. Checked against each maker's own pages; last updated Oct 18, 2026.
| Tool | Best for | Price | Stellar | Catch |
|---|---|---|---|---|
| Certora Prover | Formal verification against rules you write | Free tier; paid plans by contact | Mainnet | Writing good CVL rules takes real effort; free tier caps at 2,000 minutes a month |
| Scout | Static analyzer with Soroban-specific detectors | Free (open source) | Mainnet | Soroban on Stellar only; the older scout-soroban repo is no longer updated |
| OpenZeppelin Monitor | Self-hosted on-chain monitoring and alerts | Free (open source, self-hosted) | Mainnet | Self-hosted, so you run and maintain it; AGPL-3.0 |
Compare two side by side: Certora Prover vs Scout · Certora Prover vs OpenZeppelin Monitor · Scout vs OpenZeppelin Monitor
Best for Formal verification against rules you write
Catch Writing good CVL rules takes real effort; free tier caps at 2,000 minutes a month
Stellar
Solana
*Sui (network not stated)Any EVM chainBest for Static analyzer with Soroban-specific detectors
Catch Soroban on Stellar only; the older scout-soroban repo is no longer updated
StellarBest for Self-hosted on-chain monitoring and alerts
Catch Self-hosted, so you run and maintain it; AGPL-3.0
Stellar
EthereumSolanaAny EVM chainSee every Stellar developer tool or all Security & auditing picks. Prices change often, so confirm on each maker's page.
One short email when we add tools or a tool adds, drops or deprecates a chain. Nothing new, no email. Unsubscribe anytime.