# Move Inf

> {% if tactic_selectable %}

- Skill: `aptos-labs/move-inf` (Agent Skill)
- Install (CLI): `npx skillmds@latest add aptos-labs/move-inf`
- Raw SKILL.md: https://api.skillmd.com/api/skills/aptos-labs/move-inf/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-inf

---

{% if tactic_selectable %}
{{ frontmatter(name="move-inf", description="Infer and verify complete Move specifications and loop invariants. Use when contracts are missing; not merely to check existing specs.", argument_hint="[hybrid-guided|hybrid-flexible] [scope]") }}
{% else %}
{{ frontmatter(name="move-inf", description="Infer and verify complete Move specifications and loop invariants. Use when contracts are missing; not merely to check existing specs.") }}
{% endif %}

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

Use the reference sections below as their issues arise.

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