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 可接管的部分和需保留给人类的判断。
AI写代码的速度让代码托管基础设施不堪重负,OpenAI拟收购代码托管工具公司Pierre,Anthropic已把主代码库迁入自研系统,马斯克旗下Cursor的托管服务Origin开放早期测试。
推荐理由:原文把OpenAI、Anthropic、Cursor的自建托管与GitHub扩容放在一起,可看出AI编程工作量已让基础设施吃紧。
Sengi 团队按统一用量口径对比了各家 GitHub Actions runner 价格,2026 年 11 月 7 日报价下每月 10 万分钟 4 vCPU Linux 任务需 $200 至 $1,200,Sengi Basic 是其中无需自运维的最便宜选项,比 GitHub larger runner 每月省 $1,000。
作者演示如何用 GitHub Agentic Workflows 构建只读的 PR 审查智能体,工具权限限定为读取仓库和 PR,写操作仅在 safe-outputs 中声明每次运行最多一条评论。
GitHub 在 GitHub Universe 大会上公布全新 Git 存储架构 Rubicon,目前已开启小范围定向内测(limited private preview),计划明年初逐步扩大开放范围。
Axonscape 作者讲解 API 密钥随 .env 文件被提交到 GitHub 后的修复方法,指出任何能访问仓库的人都能读到这些密钥,删除文件也不会将其从 git 历史中移除。
作者用 Python、FastMCP 和 SQLite 搭建本地 MCP 服务器,接入 VS Code 里的 GitHub Copilot Agent 模式,让团队把会议记录粘贴进聊天即可自动拆解、分配并保存任务。
GitHub 博客发文讲解如何用 Copilot 按 Plan、Build、Verify、Observe 四阶段组织智能体工程工作流,覆盖用 Slack、Teams 和 Plan Mode 汇总上下文做规划,靠云沙箱和跨设备会话续接并行推进任务,拆小 PR 审查,以及上线后借连接器接入可观测性数据排查问题。
微软研究院发布 PDD Kit,把开发者意图转成 Verus 形式化规范,对每个输入验证智能体所写代码,证明覆盖不到处以测试兜底。团队在 GitHub Next 的 Chopin 中用它验证了约 5,000 行 Rust 全栈应用 Pet Store 的登录逻辑,开发者只审查意图产物而未逐行阅读生成代码,pdd-ship 还会把 Verus 检查加入 CI。
推荐理由:原文展示把代码审查重心从逐行阅读转向意图规范的方法,以形式化验证和边界测试守住智能体的实现约定。
Microsoft 宣布将 GitHub 工程团队打造的 Copilot harness 通过 Microsoft Foundry 开放,开发者与企业客户可用全托管方式构建能推理、调用工具并完成复杂长任务的智能体。
推荐理由:原文解释了多模型编排层为何难以自建与维护,开发者可据此评估改用托管 harness 来聚焦上层应用的取舍。
原文摘录:Wiz Sign in Under attack? Get a demo Since September 15, 2026, Wiz Research has been tracking Gheist: a new campaign performing mass abuse of compromised GitHub tokens. … " Greg Poniatowski Head of Threat and Vulnerability Management Get a demo
GitHub Blog 采访三位拥有 10 年以上 Java 经验的 Java Champion,分享在生产与开源项目中使用 GitHub Copilot 的实践,核心是把执行交给智能体、责任和审查留给自己。
GitHub Copilot 应用会话可以直接在 VS Code 中打开并继续,对话、代码改动和工作上下文原样保留。教程讲解通过 Open in VS Code 打开关联 worktree,逐行审查智能体改动、手动编辑并在本地运行测试的流程。完成的改动推送到原分支即可更新会话已关联的 pull request,无需重新描述任务。
GitHub 在官方博客详解其新的密钥检测模型:管线先用正则高召回生成候选,再由微调的 ModernBERT 结合文件路径、变量名和周边代码判断候选是否为真实密钥,取代此前基于 LLM 的分类管线。
GitHub Blog 初学者系列文章介绍让 GitHub Copilot 自动遵循代码库约定的四种方式。四类定制分别是自定义指令(.github/copilot-instructions.md)、Agent 技能(.github/skills)、自定义智能体(.github/agents)和 MCP 服务器,其中 MCP 可接入 Playwright 等外部工具做浏览器验证。
GitHub 推出用于推送保护的 AI 通用密钥检测模型,基于 ModernBERT 分类器在上下文中评估候选密钥,单个批次不到 2 毫秒,可使能阻止的密钥数量翻倍以上。
GitHub 发布 AI 代码审查离线基准 ReviewBench 并开放使用,基准基于 103.9M 个真实 pull request 的分布建模,语料为 187 个开源仓库中的 219 个 pull request,覆盖 19 种语言。
GitHub 官方博客发布 GitHub Copilot app 入门教程,讲解如何用 /create-canvas 技能以自然语言描述生成自定义 canvas 界面,无需手写代码或设计,提示词需说明要支持的工作流、用户能做什么和 Agent 能做什么。