Move Prover

Open Source

Formal verification tool for Move smart contracts on Aptos. Uses Move Specification Language to mathematically prove contract correctness.

About

Move Prover (MVP) verifies smart contracts written in the Move language through formal verification. Users specify functional properties using the Move Specification Language (MSL), and the prover automatically checks them against all possible execution states.

Categories

Formal Verification

Chains

aptos

Want a human review too? Browse auditors with Formal verification expertise →

Related Tools

Move Analyzer

Pairs with Move Prover

Quick Info

Pricing
free
Open Source
Yes
Last validated
Oct 2026

Links

Website GitHub Documentation