Marketplace

aptos-move-prover

Expert on Move Prover formal verification - specification language (MSL), preconditions, postconditions, invariants, aborts_if, ensures, requires, modifies, emits, global invariants, schema patterns, quantifiers, helper functions, pragma directives, verification strategies, and debugging proofs. Triggers on keywords move prover, formal verification, spec, invariant, ensures, requires, aborts_if, precondition, postcondition, quantifier, schema, pragma

$ Installer

git clone https://github.com/raintree-technology/claude-starter /tmp/claude-starter && cp -r /tmp/claude-starter/.claude/skills/aptos/move-prover ~/.claude/skills/claude-starter

// tip: Run this command in your terminal to install the skill