Menü
Run the Move Prover to formally verify specifications
Mit Codex oder Claude installieren Kopieren Sie diesen Prompt, fügen Sie ihn in Codex, Claude oder einen anderen Assistant ein und lassen Sie die Skill-Seite prüfen und installieren.
Basierend auf der SOC-Berufsklassifikation
Use when rebasing a branch that modifies the Aptos Move framework and git reports merge conflicts in cached-packages artifacts (`head.mrb` or generated SDK builder `.rs` files under `aptos-move/framework/cached-packages/src/`). Also use when a rebase stops on a binary conflict in `head.mrb`, or when a CI job complains that "Cached framework artifacts are out-of-date" after a rebase.
Use when cutting or preparing a new Aptos CLI release, bumping the `aptos` crate version, or editing `crates/aptos/CHANGELOG.md` for a release
Check a Move package for compilation errors
Infer specifications for a Move package
Move development on Aptos
| name | move-prove |
| description | Run the Move Prover to formally verify specifications |
{% include "templates/move_lang.md" %} {% include "templates/status_tool.md" %} {% include "templates/spec_lang.md" %} {% include "templates/spec_editing_workflow.md" %} {% include "templates/verification_workflow.md" %}
Run the Move Prover to verify the current package.
