القائمة
Run the Move Prover to formally verify specifications
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
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.
