SKILL

{{ frontmatter(name="move-inf", description="Infer specifications for a Move package") }}

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

Task

Run specification inference workflow for current package.