SKILL

{{ frontmatter(name="move-inf-v2", description="Infer specifications for a Move package (v2 — loop invariants first)") }}

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

Task

Run specification inference v2 workflow for current package.