aptos-labs {{ 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" %}