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
Quick integration into your workflow with minimal setup
Active open-source community with continuous updates
MIT/Apache licensed for commercial and personal use
Customizable and extendable based on your needs
Download or copy the skill file from the source repository
Place the skill file in Claude's skills directory (usually ~/.claude/skills/）。
Restart Claude or run the reload command to load the skill
Tip: Read the documentation and code carefully before first use to understand functionality and permission requirements
All Skills from open-source community, preserving original authors' copyrights
raintree-technology__claude-starter/.claude/skills/aptos/move-prover/Skill.mdProven benefits and measurable impact
Generate complex spreadsheets in minutes instead of hours with automated formatting
Eliminate formula mistakes with AI-powered validation and automatic recalculations
Instantly generate insights and visualizations from raw data without manual processing
Perfect for these scenarios
Create complex financial models with automated formulas and professional formatting
Analyze sales data and generate interactive dashboards with pivot tables and charts
Maintain real-time inventory sheets with automatic stock calculations and alerts
Transform raw data into formatted reports with consistent layouts and formulas