skills.homes logoskills.homescapability registry
home/categories/code-quality/aptos-labs-aptos-core-aptos-move-flow-cont-skills-move-prove-skill-md
cd ..
code-qualitytesting-security

move-prove

Run the Move Prover to formally verify specifications

Voir le code sourcecode-quality
aptos-labs
maintainer
aptos-labs
Mis à jour 3/4/2026
Étoiles
6438
Forks
3899
quick start

Installation and usage

Run the Move Prover to formally verify specifications

Installation
$ install --globalskills.sh
Utilisation

Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :

skills use move-prove