Marketplace

sui-prover

Stars

Forks

Plugins

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.

GitHub Repository

asymptotic-code/sui-prover

Plugins

Skills

Agents

Owner

@asymptotic-code

View GitHub Profile

Last Crawled

March 15, 2026

Plugin

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