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