开放规范(OpenSpec)是一个轻量且可配置的框架,用于创建和管理软件规范。通过它,你可以在规范中捕获想要构建的内容,并使团队与编码代理在工作演进过程中保持对齐。该框架帮助细化需求,验证其描述了正确的事物,并核实实现与规范相符。本质上,它协助构建正确的事物并正确地构建。
正文
用于“做正确的事”和“正确地做事”的规范框架
简介
OpenSpec 是一个轻量且可配置的框架,用于创建和管理软件规范。借助它,你可以将待构建的内容记录在规范中,并在工作推进时让团队与编码代理保持一致。它帮你提炼需求、确认需求描述无误,并核验实现与规范相符。
安装
兼容性
兼容 Claude Code、Codex、Cursor、GitHub Copilot、Gemini CLI、OpenCode 等 + 33 more。
工作流
/opsx: explore:梳理问题并理解代码库/opsx: propose:起草 proposal.md、specs/、design.md、tasks.md/opsx: apply:依据规范实现任务/opsx: verify:检查实现是否符合规范/opsx: archive:归档已完成的变更
链接
评论
讨论整体偏正面,OpenSpec 被不少人当成 spec 驱动开发的默认答案;但真正的主轴分歧在于「这套框架是否必要」——一方认为模型自己已经会规划、一个文件足够,另一方强调共享规格文档才是大任务的生产力来源,另有组织落地视角的批评集中在文档爆炸与规格很快过时。
认为 OpenSpec 胜在轻重平衡,spec 驱动是正确方向
- honkycat 用「爱」形容它,称内部评测得分好、仪式感最合理,最契合自己的心智模型,并认为 LLM 该走向「共享文档即契约、实现后再做对抗式评估」的模式(较多人)
- slowmovintarget 已经用它做 planner agent 生成计划再转成工单图,评价比 SpecKit 轻得多(较多人)
- jeremyjh 试过 Superpowers、GSD、oh-my-claude/openagent,大多更烧 token,原生 OMP 接近平衡点但缺头脑风暴与规格维护,自己叠层效果不稳定(较多人)
- Mugshelf 受够为了 AI 项目规格去跟 JIRA 搏斗,如果真能顺流程就愿意一试(少数人)
- 引用: > 我认为它的仪式感最合理,模型也最贴合我的思路。(@honkycat)
质疑是否真有必要:模型已经会规划,一个文件就够
- sheepscreek 认为近期模型在长上下文任务上的规划能力已经不错,若用 Codex 或 Claude Code 根本不必折腾这套(较多人)
- nullbio 的做法是让模型往 /tmp 写个检查清单逐项打勾,效果挺好,反问是否真需要框架(较多人)
- esafak 觉得连 OpenSpec 都太重,自己把类似流程压进一个文件,关键是留一份可供 reviewer 对照审计的东西(少数人)
- jmathai 用极简 spec 流程,把 471 行的规格直接交给 agent 实现大功能也没出问题(较多人)
- wyre 直接问:既然只是一堆 skill 和 markdown,为什么还需要一整个 CLI(少数人)
- 引用: > 我让模型写个清单文件,做一项勾一项,似乎就挺好,这真的有必要吗?(@nullbio)
认为在组织里落地会制造文档垃圾和过时规格
- open-paren 说所在公司已采用但他强烈反感:每个中等以上改动都变成一堆待审 markdown,且全是 AI 味浓的填充文本;他认为散文式规格无法也不应穷举代码行为,几乎立刻就会过时(少数人)
- gps372 认为对已经在 JIRA、SharePoint、GitHub 上饱受制品爆炸之苦的组织很难推销,而且这类工具得领导层先采纳,再往下渗到 PI 规划和 sprint 规划(少数人)
- 引用: > 小规模、人手写的规格,比这些大块规格文档有效得多。(@open-paren)
还在纠结生态分裂,不知道该怎么选
- 8cvor6j844qw_d6 指出选项横跨「OpenSpec 这类流动迭代」到「Matt Pocock 那类前置对齐与控制」,想知道大家最终落在哪一端(少数人)
- grohan 追问,目前人们到底用什么标准在不同 spec 写作框架之间做评估(少数人)
有价值的补充
- honkycat 的信息密度类比很精巧:Rocksmith 的界面处理密集音符很糟,五线谱密度极高但处理慢,吉他谱介于两者之间平衡最好;他想要的是高密度、能描述领域驱动设计概念、还能语言无关的规格,配一套对抗式评审在每阶段后验证。
- recroad 用 OpenSpec 产出任务列表,再用 bash 脚本喂进 Ralph loop,因为每个任务上下文很小,省下大量 token。
- jmathai 的经验数据是:471 行规格让 coding agent 一次实现主要功能,全程没有迟疑。
- wyum 提到自己做的 spekk-cli 走的是同一哲学但更偏声明式规格与可安装 agent skill,技术栈选 Go 是为了单二进制、依赖最少。
- CharlieDigital 指出文档站里 Concepts 的链接指向的是模板文件而非真正的概念文件,观感上不太让人放心。