Author

Asymptotic

@asymptotic-code

1

Marketplaces

1

Plugins

0

Skills

0

Agents

0

Commands

Marketplaces

Marketplace

sui-prover

sui-prover

Plugins:1

Skills:0

35

3

Plugins

Plugin

sui-prover

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