a5c-ai/babysitter/library/specializations/cryptography-blockchain/skills/certora-prover
用 Certora Prover 与 CVL 规范语言做形式化验证。支持不变量规则、参数化验证、ghost 变量、反例分析,对合约正确性做数学证明。
全部 skill