Move Prover

Open Source

Formal verification tool for Move smart contracts on Aptos and Sui. 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 sui

Related Tools

Move Analyzer

Pairs with Move Prover

Quick Info

Pricing
free
Open Source
Yes
Last Updated
2026-04-05

Links

Website GitHub Documentation