sui-prover

Name: sui-prover
Author: asymptotic-code

Help with the Sui Prover for formal verification of Move smart contracts. Use when the user wants to verify Move code, debug verification failures, write specifications, or understand prover options.

檢視原始碼 smart-contracts

maintainer

asymptotic-code

更新於 2/20/2026

星標

分支

quick start

Installation and usage

Help with the Sui Prover for formal verification of Move smart contracts. Use when the user wants to verify Move code, debug verification failures, write specifications, or understand prover options.

安裝

$ install --globalskills.sh

使用

安裝後，您可以透過在終端機執行以下指令來使用此技能：

skills use sui-prover