Does it support stateful testing?

Yes, tools like sui-fuzzer and ItyFuzz allow for stateful fuzzing, testing complex sequences of function calls to find deep logic errors and invariant violations.

Which blockchains does this skill support?

The skill supports Move-based blockchains including Aptos, Sui, and the Movement network, providing chain-specific tooling for each.

What kind of vulnerabilities can this skill detect?

It can detect a wide range of issues including integer overflows, precision loss, fund stealing, reentrancy, access control bypasses, and flash loan attacks.

Can I use this for differential fuzzing?

Yes, the skill includes MoveSmith, which specializes in differential fuzzing between different compiler versions (V1 vs V2) and optimization settings.

Move Smart Contract Fuzzing

Name: Move Smart Contract Fuzzing
Author: plurigrid

byplurigrid

•

セキュリティとテスト

Secures Move smart contracts through comprehensive fuzzing, property testing, and vulnerability detection for Aptos, Sui, and Movement blockchains.

This skill provides a robust suite of fuzzing tools and methodologies specifically engineered for the Move language ecosystem. It enables developers to perform stateful, stateless, and differential fuzzing across major chains like Aptos and Sui by integrating industry-leading engines such as ItyFuzz, MoveSmith, and sui-fuzzer. By automating the discovery of critical vulnerabilities—including integer overflows, reentrancy, and access control bypasses—it serves as an essential verification layer for blockchain developers and security auditors aiming to ensure contract integrity before mainnet deployment.

主な機能

01Stateful property testing for complex contract invariants and call sequences

02Hybrid symbolic execution and fuzzing for deep vulnerability discovery

03Differential fuzzing to detect discrepancies between compiler versions and optimization levels

048 GitHub stars

05Automated coverage analysis and visual reporting for security auditing campaigns

06Multi-chain support for Aptos, Sui, and Movement MoveVM implementations

ユースケース

01Verifying Move compiler stability and correctness during version upgrades

02Auditing complex DeFi protocols on Sui or Aptos for logic errors and edge cases

03Continuous security testing within CI/CD pipelines to prevent regression bugs

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi move-fuzzing

For use in Claude.ai and ChatGPT

Download Skill