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/MEDICALCOR/medicalcor-core /tmp/medicalcor-core && cp -r /tmp/medicalcor-core/.claude/skills/aptos/move-prover ~/.claude/skills/medicalcor-core

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