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