skills.homes logoskills.homescapability registry
home/categories/code-quality/aptos-labs-aptos-core-aptos-move-flow-cont-skills-move-prove-skill-md
cd ..
code-qualitytesting-security

move-prove

Run the Move Prover to formally verify specifications

عرض المصدرcode-quality
aptos-labs
maintainer
aptos-labs
آخر تحديث 3/4/2026
النجوم
6438
التفرعات
3899
quick start

Installation and usage

Run the Move Prover to formally verify specifications

التثبيت
$ install --globalskills.sh
الاستخدام

بعد التثبيت، يمكنك استخدام هذه المهارة بتشغيل الأمر التالي في الطرفية:

skills use move-prove