Plugin

sui-prover

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

Installation

Add the marketplace

/plugin marketplace add asymptotic-code/sui-prover

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

Plugin Source

View Plugin Code

GitHub Repository

asymptotic-code/sui-prover

From Marketplace

sui-prover

View Marketplace

Author

@asymptotic-code

View GitHub Profile