通用技能项目与产品管理
product-prover
用形式验证思路在编码前审查 PRD 与技术规格
- Stars
- 0
- Forks
- 0
- 更新时间
- 更新于 2026年7月6日
MIT
用形式验证思路在编码前审查 PRD 与技术规格
product-prover 以形式验证的思路审查 PRD、功能规格、高低层设计或方案，先判断文档是否可分析，再抽取实体、状态、转换、参与者和边界，检查安全性、活性、原子性、回滚与一致性。每条发现都引用原文并固定位置，说明触发条件、影响和具体要补的决定；未被文档支持的结论会明确标为缺口，不自行猜测。支持完整审查或单一表面的交叉链接审查，结果会写入带解决状态的日期文件。
资源类型
使用场景
运行平台
核心能力
通过流程访谈生成可编辑的 BPMN 泳道图
从 Lenny’s Podcast 全文访谈中汇总五位产品专家的针对性建议
覆盖 AI 产品从战略到合规治理的完整工作台。
GitHub 公开事实最近同步于 2026年7月10日。
把软硬件产品想法梳理成工程规格与展示材料。