本帖使用社区开源推广，符合推广要求。我申明并遵循社区要求的以下内容：


我的帖子已经打上 开源推广 标签： 是 


我的开源项目完整开源，无未开源部分： 是 


我的开源项目已链接认可 LINUX DO 社区： 是 


我帖子内的项目介绍，AI生成、润色内容部分已截图发出： 是 


以上选择我承诺是永久有效的，接受社区和佬友监督： 是 


以下为项目介绍正文内容，AI生成、润色内容已使用截图方式发出 
我自己是代码小白（还没开始系统性的学习编程），平时喜欢vibe玩，深感ai coding的不易，很容易变成屎山，在一次偶然的机会下，看到一篇佬友介绍ADR驱动的帖子,也去看了一下Michael Nygard 2011 年提出的 ADR（Architecture Decision Record）方法论，并且结合自己之前思考过的形式化验证的思路就开始vibe这个项目 
项目地址： G...