Menu
Check a Move package for compilation errors
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
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
Infer specifications for a Move package
Run the Move Prover to formally verify specifications
Move development on Aptos
| name | move-check |
| description | Check a Move package for compilation errors |
{% include "templates/move_editing_workflow.md" %}
Run the Edit–Compile Cycle on the current Move package.
