$ loading_
Enables defining and verifying evidence contracts for claims in READMEs, releases, or product pages using constrained verifiers and generating hash-chained receipts and reports.
复制安装指令，让 AI 自动完成配置 · 推荐新手
"proofspec" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。