Stats
Links
Categories
Marketplace
sui-prover
Formal verification for Sui Move smart contracts
$
npx claudepluginhub asymptotic-code/sui-prover1 Plugin
sui-prover
40·
Formal verification for Sui Move smart contracts. Write specifications, run the prover, debug verification failures, and understand results.
3w
asymptotic-code