项目概览
product-prover 以形式验证的思路审查 PRD、功能规格、高低层设计或方案，先判断文档是否可分析，再抽取实体、状态、转换、参与者和边界，检查安全性、活性、原子性、回滚与一致性。每条发现都引用原文并固定位置，说明触发条件、影响和具体要补的决定；未被文档支持的结论会明确标为缺口，不自行猜测。支持完整审查或单一表面的交叉链接审查，结果会写入带解决状态的日期文件。
仓库事实
- 主要语言
- 未识别
- 许可证
- MIT
- 仓库更新时间
- 2026年7月6日
- 默认分支
- main
资源类型
通用技能
使用场景
项目与产品管理
运行平台
Claude Code、Codex 等
核心能力
验证与评测