Command
Analyze Move package syntax, idioms, and Move 2024 Edition compliance.
10 7d ago A 19 tokens
original MIT
10Stars on the repository
15Mods indexed here, across every type
7d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Command
Security, architecture, and design review for Sui Move smart contracts.
10 7d ago A 17 tokens
original MIT
oz-math
03Command
Analyze Move package for arithmetic that could use OpenZeppelin math contracts.
10 7d ago A 17 tokens
original MIT
specify
04Command
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
05Command
Sui Move development assistant with LSP integration and comprehensive documentation.
10 7d ago A 17 tokens
original MIT
verify
06Command
Re-verify that formal specifications still hold against current code.
10 7d ago A 13 tokens
original MIT