本帖使用社区开源推广，符合推广要求。我申明并遵循社区要求的以下内容： 我的帖子已经打上 开源推广 标签： 是 我的开源项目完整开源，无未开源部分： 是 我的开源项目已链接认可 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 位参与者 阅读完整话题