Skip to main content

Aptos Move Testing

Skill Verified Active

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

Purpose

To provide expert guidance and practical solutions for testing Move smart contracts on the Aptos blockchain, enabling developers to write robust, verified, and well-covered smart contracts.

Features

  • Expert guidance on Move smart contract testing
  • Detailed explanations of unit and integration testing
  • Support for Move Prover formal verification
  • Strategies for debugging test failures
  • Best practices for achieving high test coverage
  • Code examples for common testing patterns

Use Cases

  • Writing unit tests for individual Move functions
  • Developing integration tests for module interactions
  • Applying Move Prover for formal verification of smart contracts
  • Debugging and resolving test failures
  • Improving test coverage for Move smart contracts

Non-Goals

  • Testing smart contracts on blockchains other than Aptos
  • General smart contract development advice
  • Deployment or runtime analysis of smart contracts

Installation

npx skills add raintree-technology/claude-starter

Runs the Vercel skills CLI (skills.sh) via npx — needs Node.js locally and at least one installed skills-compatible agent (Claude Code, Cursor, Codex, …). Assumes the repo follows the agentskills.io format.

Quality Score

Verified
98 /100
Analyzed about 12 hours ago

Trust Signals

Last commit19 days ago
Stars75
LicenseMIT
Status
View Source

Similar Extensions

Aptos Framework Expert

98

Expert on Aptos Framework (0x1 standard library) - account, coin, fungible_asset, object, timestamp, table, event, vector, string, option, error, and other core modules. Triggers on keywords aptos framework, 0x1, account module, table, smarttable, event, timestamp, randomness, aggregator, resource account

Skill
raintree-technology

Aptos Token Standards

97

Expert on Aptos token standards including fungible tokens (Coin, Fungible Asset), non-fungible tokens (Digital Asset standard, Token V1/V2), collections, metadata, minting, burning, and transfer patterns. Triggers on keywords token, nft, fungible asset, coin, digital asset, collection, mint, burn, metadata, royalty

Skill
raintree-technology

Aptos Gas & Performance Optimization Expert

99

Expert on Aptos gas optimization, performance tuning, storage costs, execution efficiency, inline functions, aggregator usage, parallel execution, table vs vector tradeoffs, and gas profiling tools. Triggers on keywords gas optimization, performance, gas cost, storage fee, inline, aggregator, parallel execution, gas profiling, optimization

Skill
raintree-technology

Aptos Expert

98

Expert on Aptos blockchain, Move language, smart contracts, NFTs, DeFi, and Aptos development. Triggers on keywords aptos, move, blockchain, smart contract, nft, defi, web3, mainnet, testnet, devnet

Skill
raintree-technology

Move Language Expert

97

Expert on Move programming language - abilities (copy/drop/store/key), generics, phantom types, references, global storage operations, signer pattern, visibility modifiers, friend functions, inline optimization, and advanced type system. Triggers on keywords move language, abilities, generics, phantom type, borrow global, signer, friend, inline, type parameter

Skill
raintree-technology

Playwright Best Practices

100

Use when writing Playwright tests, fixing flaky tests, debugging failures, implementing Page Object Model, configuring CI/CD, optimizing performance, mocking APIs, handling authentication or OAuth, testing accessibility (axe-core), file uploads/downloads, date/time mocking, WebSockets, geolocation, permissions, multi-tab/popup flows, mobile/responsive layouts, touch gestures, GraphQL, error handling, offline mode, multi-user collaboration, third-party services (payments, email verification), console error monitoring, global setup/teardown, test annotations (skip, fixme, slow), test tags (@smoke, @fast, @critical, filtering with --grep), project dependencies, security testing (XSS, CSRF, auth), performance budgets (Web Vitals, Lighthouse), iframes, component testing, canvas/WebGL, service workers/PWA, test coverage, i18n/localization, Electron apps, or browser extension testing. Covers E2E, component, API, visual, accessibility, security, Electron, and extension testing.

Skill
currents-dev

© 2025 SkillRepo · Find the right skill, skip the noise.