Menü
Standardmäßig ist der Prompt ausgewählt, der zuerst die Quelle prüft. Sie können zu einem direkten Befehl wechseln oder eine lokale Kopie herunterladen.
Lesen Sie SKILL.md und alle von SkillsMP angezeigten Begleitdateien, bevor Sie sich für eine Installation entscheiden.
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.
Ein direkter Befehl überspringt den Prüf-Prompt. Prüfen Sie die Quelle, bevor Sie ihn ausführen.
npx skills add https://github.com/aptos-labs/aptos-ai --skill move-initDer Befehl bleibt in einer Zeile. Scrollen Sie horizontal, um ihn vor dem Kopieren vollständig zu prüfen.
Sie bevorzugen eine lokale Kopie? Laden Sie die Dateien herunter, die SkillsMP derzeit vorliegen.
Check a Move package for compilation errors
Run the Move Prover to formally verify specifications
Replay a committed on-chain Aptos transaction locally to debug its outcome. Use when investigating a failed or unexpected transaction, reproducing an abort, or testing a local Move patch against a historical transaction.
Basierend auf der SOC-Berufsklassifikation
SKILL.md wird angezeigt
| name | move-init |
| description | Initialize Move workflow routing in the project CLAUDE.md |
Add Move workflow routing instructions to the project's CLAUDE.md so that future prompts automatically delegate to the right agent.
Move.toml in the current
directory or its parents.Move.toml found, tell the user this is not a Move package and stop.CLAUDE.md at the package root. If it does not exist, create it.<!-- move-flow-routing -->.
If yes, tell the user "Move workflow routing already configured" and stop.<!-- move-flow-routing -->
## Move Workflow Routing
When working with Move code in this package, use the appropriate workflow.
If the user asks to run something "in an agent" or "as a subagent", use
the Agent tool with the agent name. Otherwise, use the Skill tool with
the /skill-name to load the workflow into the current conversation.
- **Spec inference** (infer specs, generate specifications, WP analysis):
Skill: `/move-inf`. Agent: `move-inf`.
- **Verification** (verify, prove, run prover, check specifications):
Skill: `/move-prove`. Agent: `move-verify`.
- **Testing** (generate tests, unit tests, improve coverage):
Skill: `/move-test`. Agent: `move-test`.
- **Fix compilation** (check errors, fix compilation, won't compile):
Skill: `/move-check`. Agent: `move-check`.
Do not call `move_package_wp` or `move_package_verify` MCP tools directly —
always use the skill or agent which has the full workflow context.
For general Move development (writing code, reading code, explaining),
use the `/move` skill for language and tool references.