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