certora-prover

a5c-ai/babysitter/library/specializations/cryptography-blockchain/skills/certora-prover

1.7k 0JavaScriptDev Tools
PlatformUniversal

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.

Universal

All Skills