Lauren Tan｜米其林厨房：一个月合进约 2000 PR

一句话摘要

口播与开场幻灯说上个月把 2,000 个 PR 送进生产；她归给一套自己不在场也信得过的环境——验证、技能、以及 agent 会照着延伸的代码库。她把这套环境比作米其林厨房，并在幻灯上划掉 software factory。X 原帖文案写的是 2,500（口径差异见文末）。

核心论点框架

1. 目标是信任，不是 PR 数。2,000 是环境可信之后的事后结果；她明确说从未把「一个月 2000 PR」当目标。
2. 早期 1–5 个 agent 最难离开：每个对话都得人盯着；没有信任就扩到约 100 个，只会得到 slop PR、回退和 bug。
3. 信任从验证开始。先教 agent 自己跑应用、采 trace / heap snapshot；形式化验证（Lean、TLA+）是开放问题。
4. Feature map 给上下文，CLI 给控制——合在一起，agent 能验证自己的工作。
5. 纠正 agent 时按五层用力：codebase → static analysis → rules/bugbot → skills → “style guide”。只带走一页就带走这一页。
6. 代码库是最好的记忆；agent 爱延伸已见模式（好的坏的都一样）。设 gardener，删债、一条 paved path、见坏模式先写 lint。
7. 外环：Grok Bot + Cloud Agents + Cursor automations，搭的是个人米其林厨房，而不是先砸一堆「软件工厂」基建。

米其林厨房 vs 软件工厂

开场她先用 software factory 描述「环境搭好后的高吞吐」，随即声明不喜欢这个词。约 22:39 幻灯标题 building a michelin kitchen / software factory，其中 software factory 被划掉。字幕：I'm gonna cross out this term, 'cause I don't like this term.

幻灯旁注把 grok bot 标成 individual / line cook agent，把 automations + Agent SDK 标成 team / factory agent；口播没有展开 “factory agent”。约 21:12 曾口误拌出 “Michelin Factory”。

可执行要点

验证

• 先做验证技能：agent 自己把应用跑起来，而不是人一直守 Chrome DevTools。
• 用 CDP（或既有调试协议）采 performance trace、heap snapshot，读热点并 hill-climb。
• 正确性 = 经验证据：功能有没有做你要它做的事（例：结账按钮会不会真的结账）。
• 形式化方法（Lean、TLA+）她标成开放问题；没有它，验证技能也值得做。

Feature map + CLI

• 在 skill 目录放同一个 CLI，避免每个会话各写一套脚本；跑真应用、采证据。
• 写 feature map（物质化记忆）：有哪些功能、用户怎么到达（快捷键 / DOM）、每个功能做什么；自动化维护。
• 幻灯原句：A feature map gives context. A CLI gives control. → THE AGENT CAN VERIFY ITS OWN WORK。

纠正 agent 的五层（只带走一页就带走这页）

1. codebase — 最好的记忆；先改架构/数据结构，让错误在范畴上不可能
2. static analysis（lint / compiler / ci）— 同一错误反复出现就加 lint
3. rules / bugbot — 引导，非硬约束；可能被忘
4. skills — 教 agent 像真正工程师那样工作（幻灯例：pstack）
5. “style guide” — 几乎只能靠人在 review 里执行；这个 PR 速率下做不到靠它守门，用来发现缺口再投进前几层

代码库、园丁、外环

• Agent 爱走捷径 → 把捷径设计成正道（她接受「对人很烦、对 agent 刚好」的锁定）。
• 坏模式像病毒：一个 workaround 或一行注释，几天到几周可铺满。设 gardener：一冒头就掐。
• 三条：删已有债 → 大多数 blessed pattern 只留一条 paved path → 见坏模式先写 lint 止血，再清旧债。
• 外环：Slack / Datadog / Sentry / PlanetScale 接到 Grok Bot routines，拉起 Cloud Agents；代码库·rules·skills 先叠好，自动化才会复利。

金句（可回溯原文）

信任，是她不在场时 agent 仍能交出高质量工作。 …trust my agents to produce high quality work even when I'm not there. · [0:03–0:46]

人不亲手炒每一道料，但仍对最终结果和厨房布置负责。 …we're not cooking the individual components… anymore, we're still responsible for the final outcome and thinking about our kitchen setup. · [0:46–1:31]

2,000 个 PR 一个月，不是她的目标。 I never set out to ship 2000 pull requests a month. That was not a goal of mine at all. · [2:58–3:43]

1–5 个、必须人盯着的阶段，是最难离开的。 This phase of using agents is actually the hardest to get out of… · [3:43–4:28]

代码库是最好的记忆：agent 爱延伸已经看见的模式。 The code base is really like the best form of memory because agents love to extend existing patterns that they see. · [10:19–11:04]

Agent 爱走捷径，就把捷径做成正道。 Agents love taking shortcuts. So what if we design a framework such that the shortcut… is the right path… · [12:30–13:14]

看见坏模式，本能是写 lint rule，先止血；代码库保持在「你愿意被复制」的状态。 …stop the bleeding… Your code base is just constantly kept in a state where you would be happy if an agent were to copy it. · [16:49–18:16]

划掉 software factory。这不是秘密，是大量硬功夫。 I'm gonna cross out this term… it's not really a secret, it's a lot of hard work. · [22:39–25:23]

完整金句表与 ASR 纠错见 notes/grok-breakdown.md（grok CLI 原始拆解）。

关键画面

章节提纲（Mai 1.5× 时间轴）

1. 0:03–1:31 信任论点；划掉工厂、立米其林厨房类比
2. 1:31–2:58 Cursor agents window 性能故事；手工 DevTools → 验证技能
3. 2:58–4:28 自己是瓶颈；1–5 最难离开；没有信任别扩到 ~100
4. 4:28–8:52 验证谱系；CLI + feature map；agent 自验证
5. 8:52–12:30 工程师技能（pstack）；纠正 agent 的五层
6. 12:30–18:16 Dune / agent-friendly 框架；病毒式 workaround；园丁；lint 止血
7. 18:16–22:39 进程边界可见于目录树；外环 Grok Bot / Cloud Agents
8. 22:39–25:23 划掉 software factory；收束：五层投入后 agent 才可 “be free”

英文带时间戳转写 →

争议与边界

• 形式化验证她自己标成开放问题；很少有人真的做得了。
• rules / bugbot / skills 会被忘记或忽略——引导，不是硬约束。
• 对 agent 友好的代码库，她明确接受「人写起来会烦、被锁死」。
• Dune 禁止注释是他们从观察做的决定，不是通用法律。
• 信任曲线横轴刻度是示意，不是测量结果。
• 「agents can just be free」放在五层都做过之后，不是开场建议。

来源与制作说明

• 原文帖 Lauren：x.com/poteto/status/2102050467505430555（文案 “2,500 PRs last month”；约 38 分钟原速，建议 2×）
• 转述帖 Mai Yang：x.com/MaiYangAI/status/2102344659276099794（中文字幕 + 1.5×；文案「约 2000」）
• 数字口径：开场幻灯与口播为 2,000；Lauren 原帖为 2,500；Mai 中文字幕有一处把「我从未以 2000 为目标」写成了 2500〔存疑/字幕误差〕。
• ASR：faster-whisper small / cpu / int8 → raw/transcript.en.txt（非法庭级逐字稿）
• 结构化笔记：云电脑 grok CLI 额度拆解 → notes/grok-breakdown.md
• 本地工作目录：云电脑 /workspace/学习工作台/pages/lauren-tan-michelin-pr/

本页为 A 类学习沉淀。金句与数据忠于转写/幻灯；不确定处标〔存疑〕。完整 checklist 与 ASR 纠错表见 notes。