Plugin marketplace

sui-prover

Formal verification for Sui Move smart contracts

44 · asymptotic-code/sui-prover1 pluginupdated 1 month ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

sui-prover

claude

Formal verification for Sui Move smart contracts. Write specifications, run the prover, debug verification failures, and understand results.

1 skill

44

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted