项目概览
certora-prover-skill 教 Claude Code 编写 Certora Verification Language 规格，为 Solidity/EVM 合约定义规则、不变量、ghost、hook 和方法摘要，再运行 Certora Prover 检查并诊断反例、空验证、不健全假设和超时。它强调形式证明不是抽样测试：结论只覆盖规格允许的模型，弱规格不能证明真实系统。项目是非官方社区技能。
仓库事实
- 主要语言
- Python
- 许可证
- MIT
- 仓库更新时间
- 2026年6月22日
- 默认分支
- main
资源类型
通用技能
使用场景
安全与隐私测试与调试
运行平台
Claude Code、Codex 等
核心能力
验证与评测
适合人群
开发者