跳到正文
只看一手#GitHub
  1. GitHub Blog · AI & ML60

    GitHub Copilot 发布 Agent Skills 实用指南：一次编写、跨 Agent 复用

    GitHub Blog 发布实用指南，介绍 Agent Skills 如何把可重复任务的指令沉淀为以 SKILL.md 为核心的版本化目录，供不同 Agent 复用。

    推荐理由：文章给出把可复用判断沉淀为技能的三条实践，读者可据此判断哪些工作流适合用技能而非应用承载。

  1. Microsoft Research62

    Microsoft Research 推出 PDD Kit，用形式化验证约束智能体生成的全栈 Web 应用

    Microsoft Research 与 GitHub Next、RiSE 合作推出 PDD Kit，把形式化验证引入日常软件开发：它在 GitHub Next 的 Chopin 规划环境中与开发者协作，把自然语言意图转成 Verus 形式化规范，自动为智能体生成的代码生成证明，证明覆盖每个输入，证明触及不到的部分则回退为测试。

    推荐理由：原文完整展示了从意图到形式化规范再到证明的七步工作流，可迁移之处在于它把代码审查重心移到了意图审查。

  1. GitHub Blog · AI & ML62

    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、追覆盖率与崩溃分诊。

  1. GitHub Blog · AI & ML75

    GitHub 用 Copilot 将 Copilot 运行时迁移到 Rust 的实践复盘

    GitHub 工程师 Stephen Toub 复盘用 GitHub Copilot 把 Copilot agent runtime 从 TypeScript 重写为超过 80 万行生产级 Rust 的过程，代码主要由 AI 智能体编写，横跨 128 个 PR 并增量上线，性能提升数个数量级。

    推荐理由：GitHub 工程师复盘用 Copilot 把运行时从 TypeScript 迁到 Rust 的全过程，含多智能体协作与提示缓存数据。

  1. GitHub Blog · AI & ML61

    GitHub Copilot 推出 Project HydraFusion 研究预览：多模型编排实现前沿质量

    GitHub 推出 Project HydraFusion 研究预览，通过运行时多模型编排在 Copilot 中自动选择执行工作流，用户可在 Copilot CLI 中通过 /experimental 启用。

    推荐理由：原文给出了三种执行模式与三个基准的成本质量数据，读者可据此判断多模型编排的实际取舍。

  1. Hugging Face Blog62

    Hugging Face 发布 funes：为编码智能体提供可自有的持久记忆层

    Hugging Face 发布开源工具 funes，为 Claude Code、Codex、pi、Hermes 等编码智能体提供本地持久记忆层，一条命令即可安装并自动索引每轮对话。

    推荐理由：原文说明了本地索引与可迁移数据集的设计取舍，读者可据此判断它与托管记忆服务的差异。

已经到底了