home/categories/code-quality/a5c-ai-babysitter-library-specializations-cryptography-blockchain-skills-certora-prover-skill-md
code-qualitytesting-security
certora-prover
Formal verification using Certora Prover with CVL specification language. Supports invariant rules, parametric verification, ghost variables, and counterexample analysis for mathematical proof of contract correctness.
maintainer
a5c-ai
آخر تحديث 3/25/2026
النجوم
538
التفرعات
33
quick start
Installation and usage
Formal verification using Certora Prover with CVL specification language. Supports invariant rules, parametric verification, ghost variables, and counterexample analysis for mathematical proof of contract correctness.
التثبيت
$ install --globalskills.sh
الاستخدام
بعد التثبيت، يمكنك استخدام هذه المهارة بتشغيل الأمر التالي في الطرفية:
skills use certora-prover