ScopeBots
Menu

Tools by job

Infrastructure & RPCSmart contracts & SDKsAI agentsSecurity & auditingWallets & identityData & oraclesGaming & metaverseChain compatibility

By chain

All chains

All tools / Security & auditing

Certora Prover

Formal verification against rules you write.

Certora Prover

Certora

Best for Formal verification against rules you write

Chains
Solana Stellar Any EVM chain (no specific chain named)
Price
Free tier (up to 2,000 min/month runtime); Premium and Enterprise by contact
License
GPL-3.0

Formal verification engine that checks contracts against rules written in Certora's CVL. Open source (GPL-3.0) with a free tier of 2,000 minutes a month. Its docs name EVM chains generally, plus Solana and Stellar (Soroban) variants. Writing good rules takes real effort.

Visit Certora Prover Checked Oct 15, 2026 against this source

Chain support, with sources

We only add a chain when the maker's own docs name it. "EVM-compatible" alone counts for no specific chain. This is what the docs say, not a test or security review.

Docs: docs.certora.com/en/latest

More in Security & auditing

Are you the maker of Certora Prover?

Add this badge to your site to show Certora Prover is featured on ScopeBots. It links to this page. Added a chain or spotted something out of date? Email hello@scopebots.ai with a link to your docs.

Featured on ScopeBots

Know when chain support changes

One short email when we add tools or a tool adds, drops or deprecates a chain. Nothing new, no email. Unsubscribe anytime.