Agent Skills: move-prover

Move Prover formal verification expert for Aptos smart contracts. Write specifications (MSL), preconditions (requires), postconditions (ensures), invariants, abort conditions (aborts_if), quantifiers, schemas, and pragmas. Debug verification failures. Triggers on Move Prover, formal verification, spec, invariant, ensures, requires, aborts_if, precondition, postcondition.

UncategorizedID: raintree-technology/claude-starter/move-prover

Author

raintree

https://github.com/raintree View all skills

Repository

raintree-technology/claude-starter

raintree-technologyLicense: MIT

657

Install this agent skill to your local

pnpm dlx add-skill https://github.com/raintree-technology/claude-starter/move-prover

Skill Files

Browse the full folder contents for move-prover.

Download Skill

Loading file tree…

Select a file to preview its contents.