Testing and quality assurance toolkit (Ci-cd + Debugging)
Expert on testing Move smart contracts on Aptos, including unit tests, integration tests, Move Prover formal verification, debugging strategies, and test coverage. Triggers on keywords move test, unit test, integration test, move prover, formal verification, debug, coverage, assert, expect
Core Features
Ready to Use
Quick integration into your workflow with minimal setup
Community Verified
Active open-source community with continuous updates
Completely Free
MIT/Apache licensed for commercial and personal use
Flexible Extension
Customizable and extendable based on your needs
How to Use
2Install to Claude
Place the skill file in Claude's skills directory (usually ~/.claude/skills/）。
3Start Using
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
Related Tags
Technical Information
All Skills from open-source community, preserving original authors' copyrights
raintree-technology__claude-starter/.claude/skills/aptos/move-testing/Skill.mdRelated Skills
Similar skills recommended based on tags and categories
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
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
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
Expert on testing Move smart contracts on Aptos, including unit tests, integration tests, Move Prover formal verification, debugging strategies, and test coverage. Triggers on keywords move test, unit test, integration test, move prover, formal verification, debug, coverage, assert, expect