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