ScopeBots
Menu

All tools / Security & auditing

Move Prover (Aptos)

Formally verifying Aptos Move contract specifications.

Move Prover (Aptos)

Aptos Labs

Best for Formally verifying Aptos Move contract specifications

Chains
Aptos (network not stated)* Docs name the chain but not the network.
Price
Free (source-available)
License
LicenseRef-Aptos-Innovation-Enabling-Source-Code-License

A formal verification tool that checks Move code against written specifications, run through the Aptos CLI with aptos move prove. It is free and installed with aptos update prover-dependencies, which sets up Boogie and Z3. You have to write the specifications yourself, and it ships within aptos-core under its source-available license.

Catch Only proves the specs you write; needs Boogie and Z3 installed via the CLI

Visit Move Prover (Aptos) Checked Oct 17, 2026 against the maker's page for Move Prover (Aptos) (price and verdict 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. A testnet-only record means the page we checked only shows testnet; it isn't a finding that mainnet is unsupported. This is what the docs say, not a test or security review.

Common questions about Move Prover (Aptos)

Which blockchains does Move Prover (Aptos) support?
They name Aptos without saying which network. Every chain links to the maker's own page above.
How much does Move Prover (Aptos) cost?
Free (source-available).

Docs: aptos.dev/build/cli/setup-cli/install-move-prover

More in Security & auditing

Are you the maker of Move Prover (Aptos)?

Add this badge to your site to show Move Prover (Aptos) 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.