GitHub Copilot 发布 Agent Skills 实用指南：一次编写、跨 Agent 复用
GitHub Blog 发布实用指南，介绍 Agent Skills 如何把可重复任务的指令沉淀为以 SKILL.md 为核心的版本化目录，供不同 Agent 复用。
推荐理由：文章给出把可复用判断沉淀为技能的三条实践，读者可据此判断哪些工作流适合用技能而非应用承载。
#GitHub
GitHub Blog · AI & ML精选AI 评分6060
Microsoft Research精选AI 评分6262 Microsoft Research 推出 PDD Kit，用形式化验证约束智能体生成的全栈 Web 应用
Microsoft Research 与 GitHub Next、RiSE 合作推出 PDD Kit，把形式化验证引入日常软件开发：它在 GitHub Next 的 Chopin 规划环境中与开发者协作，把自然语言意图转成 Verus 形式化规范，自动为智能体生成的代码生成证明，证明覆盖每个输入，证明触及不到的部分则回退为测试。
推荐理由：原文完整展示了从意图到形式化规范再到证明的七步工作流，可迁移之处在于它把代码审查重心移到了意图审查。
GitHub Blog · AI & MLAI 评分4343 3 位 Java Champion 分享用 GitHub Copilot 提升生产力的实践
3 位拥有 10 年以上经验的 Java Champion 分享了在生产与开源项目中使用 GitHub Copilot 的实践，其中 Vlad Mihalcea 借助 Copilot 将原本需数周开发的 Hypersistence Optimizer 事件历史 Web 应用缩短到两天完成。
GitHub Blog · AI & MLAI 评分5555 GitHub Copilot app for Beginners：如何让 Copilot 了解你的代码库
GitHub 官方教程介绍四种让 Copilot 掌握项目约定的方式：用 .github/copilot-instructions.md 和 .github/instructions 下带 applyTo 字段的路径级文件定义仓库规范。
GitHub Blog · AI & MLAI 评分5959 GitHub 推出 ModernBERT 密钥分类器，将密钥防护前移到 push 环节
GitHub 发布与 Microsoft Applied Sciences 合作微调的 ModernBERT 密钥分类器，评估候选密钥耗时不到 2 毫秒，可让 push protection 拦截的密钥数量翻倍以上。
GitHub Blog · AI & MLAI 评分5656 GitHub 发布 ReviewBench：面向 AI 代码审查的开放基准
GitHub 发布 ReviewBench，一个面向 AI 代码审查的开放离线基准，语料基于对 103.9M GitHub pull requests 的分析，包含 19 种语言、187 个公开仓库的 219 个 pull requests。
GitHub Blog · AI & MLAI 评分4040 GitHub Copilot 应用入门：如何用 canvases 构建自定义工作流
GitHub Copilot 应用中的 canvas 是一种可自定义的双向界面，用户通过 /create-canvas 技能用自然语言描述需求即可生成看板、发布清单或仪表盘等工具，无需编写代码。canvas 以扩展形式保存，可随项目共享或作为个人扩展复用，用户与智能体可同时操作并即时同步状态。Awesome Copilot 社区已提供发布说明、看板、issue 分诊等现成 canvas 扩展。
GitHub Blog · AI & MLAI 评分3636 GitHub Copilot 为什么说聊天框是错误 UI：用 canvas 替代 chat
GitHub Copilot 提出 canvas 概念，即在 GitHub Copilot 应用内运行的小型全栈应用，无浏览器外壳，可与 agent 双向通信，也能调用第三方 API 并在本地执行代码。
GitHub Blog · AI & ML精选AI 评分6262 GitHub Security Lab 发布 Fuzzing Taskflow 智能体，自动完成 C/C++ 模糊测试
GitHub Security Lab 发布 Fuzzing Taskflow，一个基于 Taskflow Agent 的自主模糊测试流水线，只需指向一个 GitHub 仓库，它就会识别入口点、分析构建系统、编写 harness、运行 AFL++、读取覆盖率报告并改进 harness、分诊崩溃并生成漏洞报告。
推荐理由：GitHub Security Lab 开源了面向 C/C++ 的自主模糊测试流水线，读者可了解 LLM 智能体如何接管写 harness、追覆盖率与崩溃分诊。
GitHub Blog · AI & MLAI 评分3030 GitHub Copilot 应用如何渲染超大 pull request
GitHub Copilot 应用重建了 pull request 视图，用一个含 2,200 个文件、超百万行改动和 400 多条行内评论的开源 PR 做压力测试。它把文档高度拆成确定性的代码几何与动态评论块两套体系，评论高度改为惰性测量、修正锚定在用户当前浏览位置，避免滚动跳动。
GitHub Blog · AI & ML精选AI 评分7575 GitHub 用 Copilot 将 Copilot 运行时迁移到 Rust 的实践复盘
GitHub 工程师 Stephen Toub 复盘用 GitHub Copilot 把 Copilot agent runtime 从 TypeScript 重写为超过 80 万行生产级 Rust 的过程，代码主要由 AI 智能体编写，横跨 128 个 PR 并增量上线，性能提升数个数量级。
推荐理由：GitHub 工程师复盘用 Copilot 把运行时从 TypeScript 迁到 Rust 的全过程，含多智能体协作与提示缓存数据。
GitHub Blog · AI & MLAI 评分2828 GitHub 如何用 Copilot 把营销活动变成代码：从策划到跟进全自动
GitHub 日本和韩国营销负责人用 GitHub Copilot 把活动运营流程自动化：以 GitHub Issue 为工作单元，用 Issue forms 收集活动信息、Labels 触发 GitHub Actions 工作流，活动从单个 Issue 自动搭建、每日筛选报名者并在结束后自动清理。
GitHub Blog · AI & MLAI 评分4040 GitHub Copilot 应用新手指南：使用 diff、终端和浏览器面板
GitHub Copilot 应用内置 diff、终端和浏览器三个面板，让用户无需切换编辑器、终端和浏览器即可完成审查、运行和预览 AI 生成代码的完整流程。diff 面板以绿红高亮展示代码增删改，支持接受更改、留言或让 Copilot 修改；终端面板可直接运行项目命令并支持多窗口；浏览器面板的 Pick & Polish 工具可选中页面元素并让智能体调整。
GitHub Blog · AI & ML精选AI 评分6161 GitHub Copilot 推出 Project HydraFusion 研究预览：多模型编排实现前沿质量
GitHub 推出 Project HydraFusion 研究预览，通过运行时多模型编排在 Copilot 中自动选择执行工作流，用户可在 Copilot CLI 中通过 /experimental 启用。
推荐理由：原文给出了三种执行模式与三个基准的成本质量数据，读者可据此判断多模型编排的实际取舍。
Hugging Face Blog精选AI 评分6262 Hugging Face 发布 funes：为编码智能体提供可自有的持久记忆层
Hugging Face 发布开源工具 funes，为 Claude Code、Codex、pi、Hermes 等编码智能体提供本地持久记忆层，一条命令即可安装并自动索引每轮对话。
推荐理由：原文说明了本地索引与可迁移数据集的设计取舍，读者可据此判断它与托管记忆服务的差异。
Hugging Face BlogAI 评分5757 Hugging Face Transformers 修复梯度累积损失计算问题
Hugging Face 官方博客说明 transformers Trainer 中梯度累积导致损失不匹配的问题及其修复方案。问题源于默认损失函数按批次平均而非按累积步内非 padding token 总数计算，官方将自动处理默认损失的梯度累积逻辑，并新增 loss_function 属性和 API 允许用户传入自定义损失函数。
Hugging Face BlogAI 评分4444 Pollen Robotics 开源 pollen-vision：面向机器人抓取的零样本视觉模型统一接口
Pollen Robotics 开源了 pollen-vision 库，为机器人提供零样本视觉模型的统一接口，首版聚焦 3D 物体检测，输出物体在 3D 空间的 (x, y, z) 坐标，无需训练即可开箱使用。