SKILL

{{ frontmatter(name="move-inf-v3", description="Infer specifications for a Move package (v3 — synthesize specs directly)") }}

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

Task

Run specification inference v3 workflow for current package.