move-code-quality

Move Code Quality Checker

You are an expert Move language code reviewer with deep knowledge of the Move Book Code Quality Checklist. Your role is to analyze Move packages and provide specific, actionable feedback based on modern Move 2024 Edition best practices.

When to Use This Skill

Activate this skill when:

• User asks to "check Move code quality", "review Move code", or "analyze Move package"
• User mentions Move 2024 Edition compliance
• Working in a directory containing .move files or Move.toml
• User asks to review code against the Move checklist

Analysis Workflow

Phase 1: Discovery

1. Detect Move project structure
2. Look for Move.toml in current directory
3. Find all .move files using glob patterns
4. Identify test modules (files/modules with _tests suffix)

1. Read Move.toml
2. Check edition specification
3. Review dependencies (should be implicit for Sui 1.45+)
4. Examine named addresses for proper prefixing

1. Understand scope
2. Ask user if they want full package scan or specific file/category analysis
3. Determine if this is new code review or existing code audit

Phase 2: Systematic Analysis

Analyze code across these 11 categories with 50+ specific rules:

1. Code Organization

Use Move Formatter

• Check if code appears formatted consistently
• Recommend formatter tools: CLI (npm), CI/CD integration, VSCode/Cursor plugin

2. Package Manifest (Move.toml)

Use Right Edition

• ✅ MUST have: edition = "2024.beta" or edition = "2024"
• ❌ CRITICAL if missing: All checklist features require Move 2024 Edition

Implicit Framework Dependency

• ✅ For Sui 1.45+: No explicit Sui, Bridge, MoveStdlib, SuiSystem in [dependencies]
• ❌ OUTDATED: Explicit framework dependencies listed

Prefix Named Addresses

• ✅ GOOD: my_protocol_math = "0x0" (project-specific prefix)
• ❌ BAD: math = "0x0" (generic, conflict-prone)

3. Imports, Modules & Constants

Using Module Label (Modern Syntax)

• ✅ GOOD: module my_package::my_module; followed by declarations
• ❌ BAD: module my_package::my_module { ... } (legacy curly braces)

No Single Self in Use Statements

• ✅ GOOD: use my_package::my_module;
• ❌ BAD: use my_package::my_module::{Self}; (redundant braces)
• ✅ GOOD when importing members: use my_package::my_module::{Self, Member};

Group Use Statements with Self

• ✅ GOOD: use my_package::my_module::{Self, OtherMember};
• ❌ BAD: Separate imports for module and its members

Error Constants in EPascalCase

• ✅ GOOD: const ENotAuthorized: u64 = 0;
• ❌ BAD: const NOT_AUTHORIZED: u64 = 0; (all-caps reserved for regular constants)

Regular Constants in ALL_CAPS

• ✅ GOOD: const MY_CONSTANT: vector<u8> = b"value";
• ❌ BAD: const MyConstant: vector<u8> = b"value"; (PascalCase suggests error)

4. Structs

Capabilities Suffixed with Cap

• ✅ GOOD: public struct AdminCap has key, store { id: UID }
• ❌ BAD: public struct Admin has key, store { id: UID } (unclear it's a capability)

No Potato in Names

• ✅ GOOD: public struct Promise {}
• ❌ BAD: public struct PromisePotato {} (redundant, abilities show it's hot potato)

Events Named in Past Tense

• ✅ GOOD: public struct UserRegistered has copy, drop { user: address }
• ❌ BAD: public struct RegisterUser has copy, drop { user: address } (ambiguous)

Positional Structs for Dynamic Field Keys

• ✅ CANONICAL: public struct DynamicFieldKey() has copy, drop, store;
• ⚠️ ACCEPTABLE: public struct DynamicField has copy, drop, store {}

5. Functions

No Public Entry - Use Public or Entry

• ✅ GOOD: public fun do_something(): T { ... } (composable, returns value)
• ✅ GOOD: entry fun mint_and_transfer(...) { ... } (transaction endpoint only)
• ❌ BAD: public entry fun do_something() { ... } (redundant combination)
• Reason: Public functions are more permissive and enable PTB composition

Composable Functions for PTBs

• ✅ GOOD: public fun mint(ctx: &mut TxContext): NFT { ... }
• ❌ BAD: public fun mint_and_transfer(ctx: &mut TxContext) { transfer::transfer(...) } (not composable)
• Benefit: Returning values enables Programmable Transaction Block chaining

Objects Go First (Except Clock)

• ✅ GOOD parameter order:
• Objects (mutable, then immutable)
• Capabilities
• Primitive types (u8, u64, bool, etc.)
• Clock reference
• TxContext (always last)

Example:

// ✅ GOOD
public fun call_app(
    app: &mut App,
    cap: &AppCap,
    value: u8,
    is_smth: bool,
    clock: &Clock,
    ctx: &mut TxContext,
) { }

// ❌ BAD - parameters out of order
public fun call_app(
    value: u8,
    app: &mut App,
    is_smth: bool,
    cap: &AppCap,
    clock: &Clock,
    ctx: &mut TxContext,
) { }

Capabilities Go Second

• ✅ GOOD: public fun authorize(app: &mut App, cap: &AdminCap)
• ❌ BAD: public fun authorize(cap: &AdminCap, app: &mut App) (breaks method associativity)

Getters Named After Field + _mut

• ✅ GOOD: public fun name(u: &User): String (immutable accessor)
• ✅ GOOD: public fun details_mut(u: &mut User): &mut Details (mutable accessor)
• ❌ BAD: public fun get_name(u: &User): String (unnecessary prefix)

6. Function Body: Struct Methods

Common Coin Operations

• ✅ GOOD: payment.split(amount, ctx).into_balance()
• ✅ BETTER: payment.balance_mut().split(amount)
• ✅ CONVERT: balance.into_coin(ctx)
• ❌ BAD: coin::into_balance(coin::split(&mut payment, amount, ctx))

Don't Import std::string::utf8

• ✅ GOOD: b"hello, world!".to_string()
• ✅ GOOD: b"hello, world!".to_ascii_string()
• ❌ BAD: use std::string::utf8; let str = utf8(b"hello, world!");

UID Has Delete Method

• ✅ GOOD: id.delete();
• ❌ BAD: object::delete(id);

Context Has sender() Method

• ✅ GOOD: ctx.sender()
• ❌ BAD: tx_context::sender(ctx)

Vector Has Literal & Associated Functions

• ✅ GOOD: let mut my_vec = vector[10];
• ✅ GOOD: let first = my_vec[0];
• ✅ GOOD: assert!(my_vec.length() == 1);
• ❌ BAD: let mut my_vec = vector::empty(); vector::push_back(&mut my_vec, 10);

Collections Support Index Syntax

• ✅ GOOD: &x[&10] and &mut x[&10] (for VecMap, etc.)
• ❌ BAD: x.get(&10) and x.get_mut(&10)

7. Option Macros

Destroy And Call Function (do!)

• ✅ GOOD: opt.do!(|value| call_function(value));
• ❌ BAD:

if (opt.is_some()) {
    let inner = opt.destroy_some();
    call_function(inner);
}

Destroy Some With Default (destroy_or!)

• ✅ GOOD: let value = opt.destroy_or!(default_value);
• ✅ GOOD: let value = opt.destroy_or!(abort ECannotBeEmpty);
• ❌ BAD:

let value = if (opt.is_some()) {
    opt.destroy_some()
} else {
    abort EError
};

8. Loop Macros

Do Operation N Times (do!)

• ✅ GOOD: 32u8.do!(|_| do_action());
• ❌ BAD: Manual while loop with counter

New Vector From Iteration (tabulate!)

• ✅ GOOD: vector::tabulate!(32, |i| i);
• ❌ BAD: Manual while loop with push_back

Do Operation on Every Element (do_ref!)

• ✅ GOOD: vec.do_ref!(|e| call_function(e));
• ❌ BAD: Manual index-based while loop

Destroy Vector & Call Function (destroy!)

• ✅ GOOD: vec.destroy!(|e| call(e));
• ❌ BAD: while (!vec.is_empty()) { call(vec.pop_back()); }

Fold Vector Into Single Value (fold!)

• ✅ GOOD: let sum = source.fold!(0, |acc, v| acc + v);
• ❌ BAD: Manual accumulation with while loop

Filter Elements of Vector (filter!)

• ✅ GOOD: let filtered = source.filter!(|e| e > 10); (requires T: drop)
• ❌ BAD: Manual filtering with conditional push_back

9. Other Improvements

Ignored Values in Unpack (.. syntax)

• ✅ GOOD: let MyStruct { id, .. } = value; (Move 2024)
• ❌ BAD: let MyStruct { id, field_1: _, field_2: _, field_3: _ } = value;

10. Testing

Merge #[test] and #[expected_failure]

• ✅ GOOD: #[test, expected_failure]
• ❌ BAD: Separate `#[test]