code-qualitytesting-security
move-prove
Run the Move Prover to formally verify specifications
maintainer
aptos-labs
Updated 3/4/2026
Stars
6438
Forks
3899
quick start
Installation and usage
Run the Move Prover to formally verify specifications
Installation
$ install --globalskills.sh
Usage
Once installed, you can use this skill by running the following command in your terminal:
skills use move-prove