sui-pilot
01Plugin Claude Code
Sui Move development plugin with LSP integration, comprehensive documentation, code quality tools, and formal-verification wrapper.
10 7d ago A
tokens not measured
original MIT
sui-prover
02Skill Claude CodeCodex
Help with the Sui Prover for formal verification of Move smart contracts. Use when the user wants to verify Move code, debug verification failures, write specifications, or understand prover options.
10 7d ago A 42 tokens
original MIT
Instructions file
Instructions for contract-hero/sui-pilot, covering doc-source routing, usage and keeping docs up to date.
10 7d ago A 606 tokens
original MIT
Agent
Sui Move specialist with doc-grounded guidance and LSP integration.
10 7d ago A 19 tokens
original MIT
Command
Analyze Move package syntax, idioms, and Move 2024 Edition compliance.
10 7d ago A 19 tokens
original MIT
Command
Security, architecture, and design review for Sui Move smart contracts.
10 7d ago A 17 tokens
original MIT
oz-math
07Command
Analyze Move package for arithmetic that could use OpenZeppelin math contracts.
10 7d ago A 17 tokens
original MIT
specify
08Command
Author formal specifications (#[spec(prove)]) for every externally reachable function in the current Move package, with sui-prover verification and per-function user review.
10 7d ago A 34 tokens
original MIT
sui-pilot
09Command
Sui Move development assistant with LSP integration and comprehensive documentation.
10 7d ago A 17 tokens
original MIT
verify
10Command
Re-verify that formal specifications still hold against current code.
10 7d ago A 13 tokens
original MIT
Skill Claude CodeCodex
Analyzes Move language packages against the official Move Book Code Quality Checklist. Use this skill when reviewing Move code, checking Move 2024 Edition compliance, or analyzing Move packages for best practices. Activates automatically when working with .move files or Move.toml manifests.
10 7d ago A 57 tokens
copy · 92% MIT
Skill Claude CodeCodex
Security, architecture, and design review for Sui Move smart contracts. Analyzes access control, arithmetic safety, object model design, shared object congestion, version management, unused code, blind transfers, and testing strategy. Use this skill whenever the user asks to review Move code, audit a Move package…
10 7d ago A 168 tokens
original MIT
oz-math
13Skill Claude CodeCodex
Analyzes Move code and suggests improvements using OpenZeppelin math contracts. Use when: (1) User asks to 'analyze math', 'check arithmetic safety', 'find overflow risks'; (2) User mentions 'OpenZeppelin math', 'muldiv', 'safe math', 'fixed-point'; (3) Working with DeFi Move code (pools, oracles, AMMs, staking…
10 7d ago A 125 tokens
original MIT
specify
14Skill Claude CodeCodex
Walks the user through writing #[spec(prove)] formal specifications for every externally reachable function (public non-package + entry) in their Sui Move package. Emits the specs into a separate sibling specs/ package (keeping production source pristine), drives sui-prover via the sui-prover-mcp, and produces an…
10 7d ago A 174 tokens
original MIT
verify
15Skill Claude CodeCodex
Re-verifies the formal specifications that /specify authored — the consumer half of the FV split. Reads the spec-context.json manifest, detects drift (source changed under a bound spec, deps/toolchain moved, new externally-reachable functions left uncovered), re-runs sui-prover on every spec package with its recorded…
10 7d ago A 214 tokens
original MIT