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
์
๋ฐ์ดํธ๋จ 2026. 3. 25.
์คํ
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