agentsop-aider

Aider SOP — 终端结对编程的操作系统

一句话：Aider 是“git 工作树 + tree-sitter 仓库地图 + 编辑格式 + 人类在环 REPL”的四元组。理解这四个原语，剩下的都是配置。

1. 何时激活本技能

下列任一情形成立时，按本 SOP 进入 Aider 工作模式：

• 任务是编辑已有 git 仓库里的代码（不是从零起项目）。
• 你能把改动范围收敛到 2–5 个文件，或愿意先用 /ask 让模型借助 repo-map 把范围找出来。
• 你需要逐步可回滚的修改历史（每次编辑一个 commit，/undo 一步回退）。
• 你在终端里工作（tmux / 远程 ssh / CI）；或者你在写一个把 Aider 当子进程驱动的 agent。
• 你关心编辑格式对模型质量的影响（diff / udiff / whole / patch 的选择问题）。
• 你需要 BYOM（自带模型），跑本地 LLM 或非主流厂商。

不应激活的反面信号：见 §6 反模式与边界。

2. 核心心智模型

2.1 四个原语

+------------------+   +------------------+   +------------------+   +------------------+
| 1. Git working   |   | 2. Tree-sitter   |   | 3. Edit format   |   | 4. REPL loop     |
|    tree          |   |    repo-map      |   |    (wire proto)  |   |    (你在环里)    |
|                  |   |                  |   |                  |   |                  |
| - per-edit       |   | - symbol-level   |   | - diff / udiff   |   | - /ask /code     |
|   commit         |   |   summary        |   |   / whole /      |   |   /architect     |
| - /undo          |   | - PageRank over  |   |   patch          |   | - 每轮人手确认   |
| - dirty 文件     |   |   import graph   |   | - 模型适配选择   |   | - 不自主         |
|   先 commit 再编 |   | - 动态预算       |   | - JSON 是反模式  |   |                  |
+------------------+   +------------------+   +------------------+   +------------------+

四者缺一不可：

• 去掉 git → 失去回滚与审计；
• 去掉 repo-map → 大仓库里 LLM 找不到正确文件（SWE-Bench Lite 上 repo-map 让 Aider 70.3% 命中正确文件 [aider.chat/2024/05/22/swe-bench-lite.html]）；
• 用错 edit format → 出现“lazy coding”、SEARCH 块找不到、JSON 句法破坏（udiff 在 GPT-4 Turbo 上把 refactor 基准从 20% 拉到 61% [aider.chat/2023/12/21/unified-diffs.html]）；
• 放弃 REPL → 退化为自主 agent，但 Aider 在 SWE-Bench 上恰好证明“人在环 + 多次尝试”比纯自主链路更稳。

2.2 LLM 看到的上下文分三层（优先级递减）

层	内容	谁能改
系统提示 + 编辑格式说明	Aider 固化	Aider
只读上下文	repo-map + /read 文件 + CONVENTIONS.md	你（通过 --read）
读写上下文	/add 的文件	LLM 只能编辑这里的文件

铁律：LLM 只允许编辑 /add-ed 的文件。这是 Aider 的安全边界。模型“改错了文件”几乎总是因为该文件没 /add 或你 /add 了太多无关文件。