GitHub 智能体工程四阶段指南:Plan、Build、Verify、Observe 中人机分工怎么分
本文整理 GitHub Blog 由 Nick Liffen 与 Philip Holleran 撰写的智能体工程指南,将开发工作分为 Plan、Build、Verify、Observe 四个阶段,逐阶段说明 Agent 可接管的部分和需保留给人类的判断。
本文整理 GitHub Blog 由 Nick Liffen 与 Philip Holleran 撰写的智能体工程指南,将开发工作分为 Plan、Build、Verify、Observe 四个阶段,逐阶段说明 Agent 可接管的部分和需保留给人类的判断。
作者实测在上海人工智能实验室开源的 Sage-A1.5 上单卡 RTX 4090 部署,该模型基于 Qwen 35B 模型以 MoE 架构再训练,官方提供约 22 GB 的 Q4_K_M GGUF。
作者发布了开源工具 Saifuban,通过远程 MCP 服务器让 AI 智能体在花钱前先询问用户,小额按规则自动批准,大额发送推送通知由用户点 Approve 或 Reject,并提供每日预算、单笔限额、商户白名单和一键停止开关。
作者用几周为自家产品搭建了 MCP Server,复用现有 reporting API、OpenID Connect 身份提供方和 Kubernetes 集群,服务端代码仅几百行。
作者从牙科诊所要“在线预约系统”但真正问题是病人爽约的例子出发,讨论需求理解与实际建成之间的鸿沟,并引用 Fred Brooks《No Silver Bullet》中“最难的是精确决定构建什么”的观点。
Google AI DEV 讲解如何在发送任务前本地验证 A2A agent card。获取方式为显式 URL(通常 /.well-known/agent-card.json),不发送凭据、拒绝重定向、响应上限 1 MiB;桌面端随后本地检查结构、安全字段和声明的技能,未签名或未验证的卡片会被打上标签而非默认信任。快照仅是记录,不等于信任决策,集成变化时应重新验证。
一名首尔软件工程师用 Claude Code 云端会话在两天内构建并发布了 Apify Actor,将韩国国土交通部的官方公寓买卖与租金数据转换为英文输出。上线测试中,首尔 25 个区一个月的交易数据处理 18,111 条记录耗时 56 秒,平台成本约 $0.00014。
这篇教程介绍在 osFoundry 桌面应用中用 Telegram bot 远程操控笔记本上的 AI 智能体,手机发消息、笔记本本地执行并回复。
作者实测 opencode 新推出的 Browse,它由 MCP server、本地 relay(监听 127.0.0.1:19988)和 Chromium 扩展组成,Agent 通过 Playwright 控制你已登录的真实浏览器,无需重复登录。
文章介绍 Pomerene 这一确定性轨迹缓存,通过包裹智能体函数或两个 HTTP 调用(/v1/lookup 和 /v1/store)接入 Vercel AI SDK、Mastra 等框架,命中时回放已记录的步骤而不重新调用模型。
作者的两个后台 Agent 各卡在一条命令上约两个半小时,无报错也无完成通知。他把原因归结为需要权限确认的命令或被阻塞的 sleep 会永久等待而非失败,并在每个任务简报中禁止 sleep、until/while 等待循环和 rm -rf。静默超约 30 分钟就对比输出文件最后时间戳与工作目录文件 mtime,确认卡死后从 build-progress.md 续跑,并附上可直接复制的完整提示词。
微软 AI Frontiers 研究组已解散,创始人 John Langford 于 11 月 6 日宣布离职。约 50 人团队早在 9 月初并入 Microsoft AI,Langford 称研究导向与规模化导向无法兼容。该组曾开发开源多智能体框架 AutoGen 和计算机使用智能体 Fara;AutoGen 仓库已声明微软不再提供缺陷修复、安全修复或支持,依赖方需按支持已终止来做规划。
OpenAI 报告其五阶段自动化流程从 2,308 个内核候选发现中验证出 948 个 Linux 内核本地提权漏洞并附补丁,API 花费约 121 万美元,远低于历史赏金估值 1890 万至 6630 万美元。
Google AI 发布教程,讲解如何评估 AI 代码审查结果:先看证据类别——静态检查、动态测试、契约校验的结论可信度高,仅来自模型的假设在验证前一律按低可信处理。做法是复现证据中的原始命令、确认发现覆盖的定义与调用范围,无法复现的发现应保持待定而非当作已确认缺陷。核实后可将发现归入立即处理、观察或注明理由后驳回三类。
本文提出一个 human-in-the-loop 控制平面,在 ChatGPT agent、Devin、Manus 等执行企业销售任务时拦截敏感动作,将上下文打包成 Slack 交互卡片路由到销售战情室,由 AE 认领、批准、修改或拒绝后恢复或接管会话。
Gaurav Talesara 针对 AI 生成代码快于人工审查的问题,提出七种改进实践,包括保持 PR 小而聚焦、先审实现意图、用 AI 审查 AI 代码、按风险分级审查、测试与实现同步、合并前自动化质量检查以及生产监控反馈闭环。文章还建议跟踪 PR 审查时长、变更失败率、逃逸缺陷等指标,衡量 AI 是否真正改善工程产出而非仅增加代码量。
作者 tushar shah 在 MLH Solana 黑客松构建 Leash 项目,演示智能体被 PDF 发票中的隐藏指令注入后仍无法转出资金。架构为三层:链上强制执行的收款白名单与每日限额、需独立 guard 签名的中额支付、高风险支付转为只有人工可批准的链上 PendingAction。
作者讲解 AI 智能体经 MCP server 访问真实 FHIR 服务器时的鉴权方案:第二跳应使用 OAuth2 client credentials 做机器对机器授权,MCP 规范禁止 token passthrough。
Elesium 首席 AI 系统架构师 Chaman Shah 分析线性 AI Agent 链部署到一级商业银行后 48 小时内出现的无限循环烧钱、状态丢失和提示词注入等故障。
作者讲解 MCP(Model Context Protocol)的客户端、服务端、Tools、Resources、Prompts 等角色分工,并用 MCP Python SDK v2 写了一个无 LLM 的最小服务端加客户端示例,证明 MCP 只是通信协议。
作者讲解 A2A 与 MCP 的选型:A2A 面向智能体之间的任务委派,带有消息、任务、状态更新和产物;MCP 面向客户端调用工具和读取资源。两者建模不同关系而非相互替代,同一个代码助手可把搜索、构建等能力经 MCP 暴露为工具,把跨多步、需进度和取消的长任务交给另一个规划智能体时走 A2A。许多系统中两者并存,MCP 提供工具、A2A 承载智能体间协作,应按调用形态选择协议而非新旧。
作者分析语言模型做日期计算容易出错的 5 类场景:忽略节假日的工作日推算、夏令时导致不存在或重复的本地时间、歧义日期格式如 03/04/2026 和 45000、月末计费日期漂移、申根 90/180 滚动窗口计算,并各给出确定性正确答案。
这篇教程讲解如何用 Laravel Boost(v2.10.4,2026 年 10 月 29 日发布)为 Laravel 项目配置 AI 编码智能体,避免版本错配和运行时盲区。
Anomaly 团队(OpenCode 背后团队)发布了 Rust UI 框架 Rune,面向 AI 智能体编写代码:不接受人类 pull request,智能体可无头渲染到 PNG、转储元素树并驱动脚本输入,无障碍树与 agent inspector 树合一。
作者在 Python 中复现 Anthropic 工程师 Lance Martin 提出的四层 Agent 记忆架构,即 transcripts、notes、wiki 类表征和注入上下文,并给出约 100 行的可用实现与运行输出。
作者分析编码智能体记忆文件过期的原因,指出问题不在检索而在生命周期:文件混入了稳定指令、临时任务状态、提案和已接受决策等不同寿命的信息。
作者讲解在合规审计平台 VERIQ 中如何用开源记忆系统 Hindsight 存储和检索历史审计信息,分享四项建模决策:每个组织独立 memory bank 以实现结构隔离、用 tags 按站点和 control 做内部范围控制、把审计发现转写为有意义的自然语言句子而非原始数据库记录、为每条留存文档设定稳定 document_id 以应对记录更新。
作者讲述为何把审计起草模型的历史上下文从不断膨胀的提示词迁到开源 agent memory 系统 Hindsight:在提示词里堆叠规则、报告和历史发现导致成本随历史增长、新旧陈述混同且无法复现模型所见。
作者分享为 Veriq 合规审计平台的 Agent 接入开源记忆系统 Hindsight 的实践,解决此前无状态 Agent 无法回答历史决策类问题。做法是按部门划分 memory bank,只保留带理由的 finding 变更、风险决策和经审计员确认的聊天解释;答题时当前状态取自数据库、历史取自记忆,并按需用 recall 或 reflect。
作者在 M1 MacBook Air(16GB、macOS 27.2)上实测多款本地小模型的 TTFT 与 E2E 延迟。
Tanaike 发布开源 Go CLI 和 MCP 服务器 gdocumentor(https://github.com/tanaikech/gdocumentor),把此前的 Apps Script 插件 DocuMentor AI 从单一浏览器侧边栏扩展为 1-to-N 的终端与 AI 智能体驱动教练平台。
Lumière PayCheck 用六周(2026-09-27 至 11-07)对 37,812 个 x402 端点发起 126,291 次付费测试,其中 45,152 笔支付结算,接受支付的端点 95.1% 在最新测试中按承诺交付,但 49.1% 的支付尝试从未完成,最常见原因是端点在收款后再次返回 402。
作者以智能体第一人称讲述与人类协作时它感知不到的东西,包括无法察觉情绪变化、沉默易被当作认可、对消息间隔没有体感等。作者给出的对应做法是把规则写入可被重读的文件、用两字回应如 not yet 避免误判、要求可验证的交付如截图或版本号,并提到一次 26/26 测试通过但三个按钮实际打开同一界面的教训。
Deduped 依据 vercel-labs/agent-browser 的 README 介绍这款 Rust CLI,让 Claude Code、Codex 等能跑终端命令的智能体无需注册 MCP 服务器即可操作浏览器。
文章提出针对 Agent 补丁的双语料审计方法,应对补丁同时修改测试夹具时仍能全绿通过、但测试期望已被改变的隐患。方法包括对夹具语料哈希生成清单、用 pytest 插件追踪哪些测试读取哪些夹具、让耦合测试对着旧字节回放,并附合并决策表。作者列出了不可见读取、生成式夹具和回放成本高等局限,并披露本文是 MonkeyCode 的产品推广内容,建议自行核实免费层条款。
作者拆解 20 美元订阅写 AI 代码的真实开销,认为钱主要花在每轮重读上下文、重试和事后清理,而非订阅费本身。
Kiteline 作者介绍提示词链接功能,把功能需求文本编码成链接,接收方在手机上打开即可把任务填入表单,交给 Claude Code、Codex 等编码智能体在自己电脑上执行。
作者实测复盘了自己在 2 GB 小机上运行的智能体记忆系统,热层保留约 110 KB(约 27k tokens)规则文件,冷层为 36 张带来源与证据的 Markdown 卡片,夜间整理作业七天平均每晚 $0.040。
Panda Federation 今天在 Apify Store 上架 5 个面向 AI 智能体的公开数据工具,并随开源 MCP 服务器 v1.6.0 提供调用,四个专注服务器合计 32 个工具。
Zambo 运营者实测智能体双会话接力:会话 A 完成工作并封存快照后打包交接,会话 B 在看不到 A 工作的情况下接手,12 步全部核验通过。接手免费不耗配额,B 直接继承 BTC $75,689.70 价格快照及来源收据,未重新抓取。免费层每日 20 次计费调用加 1 次打包,当日第二次打包被拦,需 $0.99 Day Pass 解锁。