-
我的帖子已经打上 开源推广 标签： 是
-
我的开源项目完整开源，无未开源部分： 是
-
我的开源项目已链接认可 LINUX DO 社区： 是
-
我帖子内的项目介绍，AI生成、润色内容部分已截图发出： 是
-
以上选择我承诺是永久有效的，接受社区和佬友监督： 是
以下为项目介绍正文内容，AI生成、润色内容已使用截图方式发出
我自己是代码小白（还没开始系统性的学习编程），平时喜欢vibe玩，深感ai coding的不易，很容易变成屎山，在一次偶然的机会下，看到一篇佬友介绍ADR驱动的帖子,也去看了一下Michael Nygard 2011 年提出的 ADR（Architecture Decision Record）方法论，并且结合自己之前思考过的形式化验证的思路就开始vibe这个项目
项目地址： GitHub - ArcaneOrion/spec-vc · GitHub
这是一个基于claude code的skill,由于我用的是linux,所以也没有针对windows特调，windows上使用可能会出现一点问题
这个项目主要有三层，layer 1是git（代码改动），layer 2是ADR（决策控制，为什么这样做），layer 3是Spec(应该做什么）
具体来说，ADR 层：用轻量 Markdown 文件记录每次架构决策------Context（背景约束）、Decision（选了哪个方案）、Consequences（利弊）、Alternatives（被排除的方案及原因）
Spec 层：把接口契约写成 OpenAPI YAML、数据结构约束写成 JSON Schema、行为规则写成 Gherkin feature 文件。这里主要是ai设计，我还在学习lean4这样的形式化语言，学的比较慢，能参与设计应该最快也要考完研（如果能考上的话 
）
具体流程：
是的，我选择直接贴图 
，打字真的好累，感觉像是在写作文，希望佬友们原谅我的懒惰
不过要声明一下，这个skill由vibe得来,我自己也没有真实的工程项目测试，肯定还存在一些问题，放假无聊的佬友可以拿来玩玩，最好能给我一些项目上使用的反馈（十分感谢），我也会持续优化这个项目（可能比较慢就是了）。
对了，使用起来可能比较花token
最后说点什么呢，肚子实在没墨水啊
就祝佬友们假期玩的开心！
2 个帖子 - 2 位参与者