通用技能安全与隐私
certora-prover-skill
为 EVM 合约编写 CVL 规则并形式验证
- Stars
- 0
- Forks
- 0
- 更新时间
- 更新于 2026年6月22日
MIT
为 EVM 合约编写 CVL 规则并形式验证
certora-prover-skill 教 Claude Code 编写 Certora Verification Language 规格，为 Solidity/EVM 合约定义规则、不变量、ghost、hook 和方法摘要，再运行 Certora Prover 检查并诊断反例、空验证、不健全假设和超时。它强调形式证明不是抽样测试：结论只覆盖规格允许的模型，弱规格不能证明真实系统。项目是非官方社区技能。
资源类型
使用场景
运行平台
核心能力
检查 Claude Code 使用环境的账号封禁风险
判断单个 CVE 是否真正影响你的运行环境
适合人群
GitHub 公开事实最近同步于 2026年7月10日。
用 1Password 安全存取并注入开发所需的密钥与凭据
从已部署状态检查公开项目最容易遗漏的上线风险