惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

人人都是产品经理
人人都是产品经理
MyScale Blog
MyScale Blog
Y
Y Combinator Blog
罗磊的独立博客
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
P
Proofpoint News Feed
Google DeepMind News
Google DeepMind News
V
Vulnerabilities – Threatpost
T
The Blog of Author Tim Ferriss
云风的 BLOG
云风的 BLOG
Recorded Future
Recorded Future
N
News and Events Feed by Topic
B
Blog RSS Feed
阮一峰的网络日志
阮一峰的网络日志
博客园_首页
C
CXSECURITY Database RSS Feed - CXSecurity.com
博客园 - 【当耐特】
N
Netflix TechBlog - Medium
博客园 - 叶小钗
B
Blog
Vercel News
Vercel News
T
Tenable Blog
T
The Exploit Database - CXSecurity.com
Spread Privacy
Spread Privacy
T
Threat Research - Cisco Blogs
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
Last Week in AI
Last Week in AI
F
Fortinet All Blogs
cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
Microsoft Security Blog
Microsoft Security Blog
S
Securelist
Microsoft Azure Blog
Microsoft Azure Blog
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
P
Palo Alto Networks Blog
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
D
DataBreaches.Net
Cyberwarzone
Cyberwarzone
Engineering at Meta
Engineering at Meta
Martin Fowler
Martin Fowler
G
GRAHAM CLULEY
Project Zero
Project Zero
Cisco Talos Blog
Cisco Talos Blog
A
Arctic Wolf
C
CERT Recently Published Vulnerability Notes
L
LangChain Blog
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
C
Check Point Blog
A
About on SuperTechFans
W
WeLiveSecurity
The GitHub Blog
The GitHub Blog

V2EX

我用 AI 写代码,但终端管理反而成了累赘——于是我做了 codux - V2EX [调研] 各位在公司都用什么 ide 和 agent 写代码? 老运维 share 一个运维平台 新电脑 brew install node 之后,一个小设置可以提升对供应链投毒的防御 - V2EX GLM-Coding 调用持续报错: z.ai 的 Lite 套餐几乎无法使用,官方 Pro/Max 是否稳定? - V2EX 上海漕河泾内推,本组有 2 个 hc,一个后端,一个前端,预算都是 20k 左右,不打卡,氛围好 如果 V2EX 上有一组不永久保存聊天记录(比如只保存 7 天或者 24 小时)的聊天室,那么会开启哪些有用或者有趣的可能? - V2EX gemini cli 貌似挂了,一直返回 403 - V2EX 第一次在自媒体上赚到钱 收集了最近在使用的低价 GPT, Gemini,邮箱等 AI 会员的小店合集 讨论个大实话:现在企业还在说 AI 编程提效 20%, 30%的,真的太落后,没用懂 AI。因为包括很多前沿公司,已经狂奔到提效 200%-500%的情况 [招聘][远程][币安] 前端/后端/QA/iOS/Android 至少 3 年以上经验 目前有大量 HC 欢迎投递 Chatgpt Pro 用量用不完的可以开这些设置 面试的时候好像遇到钓鱼了,给各位避个坑 cursor 年续费 22 号到期, 自动续费是否还是老的计次套餐呢 - V2EX 被两件破事毁掉的一下午,琐碎的内耗消磨人的精力 使用 Planet 存储 Codex 的会话或者重要信息 - V2EX 如果业务部门领导不要你开发功能,而是要求你教会它用 claude code 开发功能,你会怎么做? 分享一个 MacOS 接绿联 CM818 USB 转 DP 转接器使用感受 - V2EX 我的 HR 朋友 10 年老 Java ,非全大专,大家帮忙看看简历 开源了一个 AI 口语练习工具,音素级发音评分,完全免费可自部署 V2EX 上有哪些你觉得很有趣、印象深刻的妹纸? 字节为啥不出个国内版 Vercel? 有在大马的朋友吗? 问个运营商问题 你们在有领导的公司大群发过的最大胆的消息是什么 公司裁员,目前没有工作。想试试摆摊,做一个移动鲜啤打酒车 我的硬盘 Memblaze Pblaze 5 Linux 下不识别,给 Linux 内核提交了补丁, AI 说有望被合并 - V2EX 只有我一个人觉得 codex 不好用? 做了个 AI + 真人专家监督的广告投放平台 Auxora, 7 个品牌跑出 6x ROAS 如何走出至亲的离世 Claude Web 端貌似 claude-opus-4-7 偷偷上了? 现在 Apple 开发者帳號應該是用哪个地区会更好? - V2EX 用回测筛选因子的一点经验分享 给女儿 vibe 了一个故事类的 app,做完发现,这类应用似乎上线难度极大? - V2EX 手机格式化 bitget 钱包没了,里面开通的银行卡还有机会拿到吗 - V2EX [送码] TransVoice - 我的第一款 App 上架啦!实时转写+翻译+字幕,会议听课好助手! PictureHub 高清摄影作品的画廊 Planet 的第一个使用 macOS 26 SDK 构建的 Insider 版本 20260416-1 - V2EX 成都二手房是不是在涨价,有点坐不住了 - V2EX claude 生态(skill mcp plugin)等 Studio Display XDR VESA 适配器脱落 有在用印度区 applestore 的大哥嘛,请教一下礼品卡去哪里买呢 - V2EX 我好像知道京东家政爆火的原因了 - V2EX 薅了公司的 a 家 api key,用机场 ip 做代理容易被封吗 如何在初期就识别 HR 在刷 KPI,没打算招你? [分享]精心打造一个 AI 编程知识库(算法/设计模式/提示词/Skills),助力程序员转型 港版 iPhone 在国内支持联通 5GA 吗?在广东用 想办港卡 AI 对 it 行业影响太大了 我做了个把照片变成 iOS 小组件贴纸的 App ChatGPT Pro 5x 套餐 量真的很足! I have found a method to directly generate advertising video materials using scripts 在小城市开个店,给人写软件,有前途吗 chrome 最新的 147 版直接卡爆炸了 - V2EX 为什么厂家不在 skill/mcp 这类的工具中塞广告呢?这样不是可以大赚嘛? minimax 真是脸都不要了,工作日下午 14:00 定时开启 529,脸都不要了。训练模型居然占用用户使用时间 外资非核心部门 vs 另一家外资的核心部门,该跳吗? iTad 标签 扩展 加小动作 ? - V2EX 去年 H200 能买,不让买是代替快出来了? - V2EX AI 赛事通 - 2026 年 4 月中国区新增 AI 竞赛和黑客松汇总 - V2EX V2EX › 登录 现在安卓开发都在做啥 - V2EX 浏览器插件 沉浸式翻译 是不支持自定义模型了吗? - V2EX Codex 里的 GPT5.4 也能降智?上午让它改两个问题,改了一个小时了, plus 额度用了一半了还是没改好,和前几天用的体感完全不一样。要它改的问题也不复杂。服了。 目前有使用 claude code 的收到人脸认证的吗 - V2EX 分享一个自己做的 Nginx 管理工具,实时请求动态预览!(无奈市面上实在找不到好用的,自己撸了个) - V2EX claude code 崩了么? 今天在反重力上用 claude 一点都不丝滑,有同样的感受吗? opencode 消息周知插件 今天 claude opus 和前两天比,质的飞跃 - V2EX 999 包月价? - V2EX 一个版本, 50 项更新:我们几乎重做了整个播放页 本地大模型多大显存够用? GOGDNS 一款简易的私人 DNS 服务器 - V2EX API key (GLM) 怎么使用 claude code desktop ? Claude 这样订阅有问题吗 - V2EX 帮我爸找回了一篇赛博兰亭集序 求推荐稳定、高性价比使用 Claude Opus 4.6 的渠道/平台 搞个云端 claude code 防止 封号 - V2EX 用 Claude 要实名了,内地用户怎么办? OpenAI Plus 和 Team 都缩水了吗 海外 Android 手机有什么好用的国内第三方应用市场推荐吗 - V2EX 把电脑伪装成电视,用 DLNA 投屏拿到视频号直播流地址 - V2EX claude 认证莫慌 北京互联网法院有什么攻略么?起诉北京智谱华章科技股份有限公司退款可行么? - V2EX Claude 开始引入身份验证 求 vscode 做笔记软件的插件推荐 - V2EX 讯飞星辰的 Coding Plan 如何? Anthropic 宣布在 Claude 平台推行身份验证机制 科普一下低价 gpt 是怎么来的 有没有长期关注 Claude 的朋友,我建了一个 Channel 自动抓取 Claude Team 的推文 啃了那篇 54 页的 Agent Harness 综述, 给大伙讲个省流版 现在那家的 coding plan 还能买到 是不是最近会有什么更聪明的大模型要发布了呀? 用多了 AI 后,有没有觉得 AI 生成的文章有很强的既视感? 如何 实践 Harness 工程? 今日份 GPT 5.4 笑话 如何建一个自己的号池,让 cursor 真正实现 token 自由 写了三个月 Agent Harness,我终于敢让 Claude Code 全自动写代码了
LeanSpec:一个轻量级的 SDD 框架
tikazyq · 2025-11-27 · via V2EX

今年年初,我被 Claude Sonnet 3.7 的 AI 编程能力深深震撼。那时 "Vibe Coding" 这个词还没流行起来,但我做的正是这件事——让 AI 生成代码,我只负责引导对话。感觉像魔法一样神奇。直到问题开始浮现。

几周后,我注意到一些规律:代码冗余越来越多,实现方向偏离了最初的设想,AI 在不同会话之间丢失上下文导致返工不断增加。蜜月期结束了。我需要一套结构化的方法,但又不想引入那些拖慢开发速度的重型流程。

这段探索之旅让我先后尝试了 Kiro 、Spec Kit 、OpenSpec 等工具,最终促使我开发了 LeanSpec——一个轻量级的规格驱动开发( Spec-Driven Development ,SDD )框架。今天发布的 v0.2.7 版本,是三周内的第十个版本。这篇文章分享我为什么要做 LeanSpec 、它有什么不同,以及如何快速上手。

Vibe Coding 的隐性成本

📝 Vibe Coding 的陷阱

AI 编程助手的生产力惊人——直到它们开始出问题。缺乏结构化的上下文,AI 会生成看似合理但前后矛盾的代码,导致技术债务在每个会话中不断累积。

如果你深度使用过 AI 编程工具,大概率遇到过这些问题:

症状 根本原因 影响
代码冗余 AI 不记得之前的实现 重复逻辑散落在各处
意图偏移 上下文在会话间丢失 功能与你的设想渐行渐远
返工增多 缺少持久的单一信息源 反复解释相同的背景
架构不一致 缺乏结构化指导 组件之间无法顺畅协作

业界的解决方案是 规格驱动开发( Spec-Driven Development ,SDD )——先写规格文档,再写代码,为 AI (和人类)提供持久的上下文。但当我考察现有工具时,发现了一个空白地带。

ℹ️ 延伸阅读

刚接触 SDD ?可以先阅读我的基础文章 规格驱动开发:复杂功能的系统化方法 了解方法论基础,或者看 2025 年 SDD 工具全景 了解业界工具的全面对比。想不安装任何工具就体验方法论?试试 不用工具实践 SDD 教程。

为什么要做 LeanSpec

我在 SDD 领域的探索揭示了三类工具,每类都有不适合我的地方:

厂商锁定:Kiro (亚马逊的 SDD IDE )集成度很高,但要求放弃现有工作流。我喜欢自己的工具组合,换 IDE 不在考虑范围内。

认知负担过重:Spec Kit 提供了完整的结构,但其繁复的格式带来了很大的认知负担。即使有 AI 辅助撰写,理解和维护这些规格文档仍然耗费大量心智资源,对于独立开发者和小团队来说过于沉重。

缺少项目管理:OpenSpec 最接近我理想中的样子——轻量且灵活——但缺乏跨项目管理几十个规格的能力。

我想要的是:一套方法论,而不只是一个工具。就像敏捷开发一样——一组人人可以采纳的原则,配合不碍事的轻量工具。

于是我做了 LeanSpec 。然后用 LeanSpec 来开发 LeanSpec 。

第一性原理:设计基石

LeanSpec 不只是工具链,它建立在五条第一性原理( First Principles )之上,指导每一个设计决策:

上下文经济( Context Economy ):规格必须装进工作记忆——无论人还是 AI 。目标 300 行以内。如果 10 分钟读不完,就太长了。

信噪比最大化( Signal-to-Noise ):每一行都要服务于决策。没有样板文件,没有填充内容,没有为了形式的形式。

意图优先于实现( Intent Over Implementation ):记录 为什么,而不只是 怎么做。实现细节会变,意图不会。

弥合鸿沟( Bridge the Gap ):规格同时服务于人和 AI 。任何一方看不懂,这份规格就是失败的。

渐进披露( Progressive Disclosure ):从简单开始,只在感到痛点时才增加结构。不做预设的复杂。

这些原则不只是文档——LeanSpec 的 validate 命令会自动检查规格是否符合它们。

核心功能

Web UI 可视化管理

我最兴奋的功能:lean-spec ui 启动完整的 Web 界面,让你可视化地管理规格。

# 启动 Web UI
npx lean-spec ui

UI 提供看板视图、规格详情页(支持 Mermaid 图表渲染)和依赖关系可视化——全在浏览器里完成。适合规划会议或审查项目状态。

LeanSpec 看板视图

LeanSpec 规格详情页

第一性原理校验

LeanSpec 不只存储规格,还会对照第一性原理进行校验:

# 校验规格是否符合第一性原理
lean-spec validate

# 输出示例:
# specs/045-user-auth/README.md
#   ⚠️  warning  Spec exceeds 300 lines (342)  context-economy
#   ⚠️  warning  Missing overview section      structure
# 
# ✖ 2 warnings in 1 spec

这能保持规格精简有意义,防止重型 SDD 工具常见的规格膨胀问题。

智能搜索与项目管理

查找相关规格不应该需要记住精确名称:

# 跨所有规格的语义搜索
lean-spec search "authentication flow"

# 高级查询
lean-spec search "status:in-progress tag:api"
lean-spec search "created:>2025-11-01"

看板视图让项目状态一目了然:

lean-spec board

# 📋 LeanSpec Board
# ─────────────────────────────────────
# 📅 Planned (12)     🚧 In Progress (3)     ✅ Complete (47)
# ─────────────────────────────────────

MCP Server:AI 集成

LeanSpec 内置 MCP ( Model Context Protocol )服务器,让 AI 助手可以直接与你的规格交互:

{
  "mcpServers": {
    "leanspec": {
      "command": "npx",
      "args": ["@leanspec/mcp"]
    }
  }
}

支持 Claude Code 、Cursor 、GitHub Copilot 等 MCP 兼容工具。AI 代理可以搜索规格、读取上下文、更新状态——全部通过编程接口完成。

示例项目快速上手

刚接触 SDD ?从一个完整的示例开始:

# 生成一个完整的教程项目
npx lean-spec init --example dark-theme

提供三个示例:dark-themedashboard-widgetsapi-refactor——分别演示不同的 SDD 模式。

开发历程:用 LeanSpec 开发 LeanSpec

这个项目最有意思的地方在于:初版发布后,LeanSpec 完全使用 LeanSpec 自身来开发

里程碑 日期 说明
第一行代码 2025 年 10 月 23 日 从基础的规格增删改查开始
v0.1.0 (首次发布) 2025 年 11 月 2 日 从零到发布仅用 10 天
v0.2.0 (生产就绪) 2025 年 11 月 10 日 第一性原理校验,完整 CLI
v0.2.7 (当前版本) 2025 年 11 月 26 日 24 天内发布 10 个版本

在 LeanSpec 项目内部,已经创建了超过 120 个规格——涵盖功能实现、架构决策、复盘反思,甚至营销策略。反馈循环非常紧凑:发现痛点 → 写规格 → 实现 → 用真实场景验证。

我还把 LeanSpec 应用到了其他项目:

  • Crawlab( 12k+ stars )—— 网络爬虫管理平台
  • 这个博客( marvinzhang.dev )
  • codervisor 组织下即将发布的新项目

在所有项目中,规律都是一致的:规格提供了跨会话存续的上下文,AI 能持续对齐我的意图,我花在反复解释上的时间大幅减少。

LeanSpec 的独特之处

如果你读过我的 SDD 工具分析,就知道我评估过这个领域的六个主要工具。LeanSpec 的定位是这样的:

维度 重型工具 LeanSpec
学习曲线 数天到数周 几分钟
规格开销 大量前期工作 边写边补
Token 成本 通常 >2,000 目标 <300 行
灵活性 结构刚性 适应你的工作流
厂商锁定 常见 不存在
理念 工具优先 方法论优先

LeanSpec 的 "Lean" 有多重含义:

  • 方法论:像敏捷一样,是无论工具如何都能采纳的原则
  • 认知负担:低开销,快速上手
  • Token 经济:规格保持精简,能装进 AI 的上下文窗口
  • 灵活性:适应你的工作流,而不是反过来

快速上手

5 分钟内试用 LeanSpec:

# 全局安装
npm install -g lean-spec

# 在项目中初始化
lean-spec init

# 创建第一个规格
lean-spec create user-authentication

# 启动 Web UI
lean-spec ui

或者试试示例项目:

npx lean-spec init --example dark-theme

已经在用 Spec Kit 或 OpenSpec ? 参考 迁移指南——迁移过程很顺畅。

未来规划

LeanSpec 仍在活跃迭代中。当前开发重点包括:

  • VS Code 插件,实现内联规格管理(规格 17
  • AI 聊天界面,实现交互式规格辅助(规格 94
  • 全面的国际化支持(规格 91
  • GitHub 多项目集成(规格 98

我做 LeanSpec 是为了解决自己的问题——Vibe Coding 带来的代码质量下降、AI 会话间的上下文丢失、重型 SDD 工具的认知负担。如果你也面临类似的挑战,希望它对你同样有帮助。


链接:

有问题、反馈或功能建议?欢迎提 issue 或发起 讨论。每一条我都会看。


📝 本文同步发布于我的个人技术博客 marvinzhang.dev

🔗 完整文章链接: https://marvinzhang.dev/zh/blog/introducing-leanspec

💬 欢迎访问我的博客了解更多技术文章!