# Move Prove

> {{ frontmatter(name="move-prove", description="Verify and diagnose existing Move specifications with the Move Prover. Use for proof failures or timeouts; use move-inf when contracts are missing.") }}

- Skill: `aptos-labs/move-prove` (Agent Skill)
- Install (CLI): `npx skillmds@latest add aptos-labs/move-prove`
- Raw SKILL.md: https://api.skillmd.com/api/skills/aptos-labs/move-prove/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: aptos-labs (https://skillmd.com/u/aptos-labs)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/aptos-labs/move-prove

---

{{ frontmatter(name="move-prove", description="Verify and diagnose existing Move specifications with the Move Prover. Use for proof failures or timeouts; use move-inf when contracts are missing.") }}

{% include "templates/verification_tasks.md" %}

Use the reference material below to interpret and repair failures.

{% include "templates/verification_ref.md" %}