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
Mis à jour 3/25/2026
Étoiles
538
Forks
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.
Installation
$ install --globalskills.sh
Utilisation
Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :
skills use certora-prover