GitHub 代码扫描告警的 Agentic autofix 正式可用
GitHub 宣布代码扫描告警的 Agentic autofix 正式可用,把告警指派给 Copilot 后,它会探索相关文件、生成修复、重跑 CodeQL 验证修复有效,再开一个草稿 PR 供审查。
推荐理由:GitHub 把代码扫描告警交给 Copilot 自动修复,改完还会重跑 CodeQL 验证再开 PR,适合用 GHAS 的团队评估。
GitHub 平台上的 AI 能力:Copilot 编码助手、Copilot 代码审查、Actions 自动化与 AI 项目治理动态。
GitHub 宣布代码扫描告警的 Agentic autofix 正式可用,把告警指派给 Copilot 后,它会探索相关文件、生成修复、重跑 CodeQL 验证修复有效,再开一个草稿 PR 供审查。
推荐理由:GitHub 把代码扫描告警交给 Copilot 自动修复,改完还会重跑 CodeQL 验证再开 PR,适合用 GHAS 的团队评估。
GitHub 宣布代码扫描的 AI Scan for pull requests 正式可用,用于补充 CodeQL,覆盖 PHP、Shell/Bash、Terraform 配置(HCL)、Dockerfile、Java 的 JSP、C# 的 Blazor 等 CodeQL 目前未覆盖的语言和框架。
推荐理由:GitHub 代码扫描的 AI Scan 正式可用,补上 CodeQL 未覆盖的语言与框架,结果仅作提示不阻断合并。
GitHub Copilot 的 HydraFusion 更新模型池与编排流程,并新增面向高难度任务的 HydraFusion Max,两者均处于研究预览阶段。
推荐理由:GitHub Copilot 的 HydraFusion 多模型编排更新,新增 Max 档位,并公开了各阶段推理强度的分配方式。
香港大学数据智能实验室(HKUDS)开源 CLI-Anything,通过 7 阶段流水线为任意有源码的软件自动生成 Agent 可调用的 CLI harness,覆盖 GIMP、Blender、LibreOffice、OBS Studio 等 18 款应用,累计 2461 项测试全部通过。
推荐理由:把任意有源码的软件自动生成 Agent 可调用的 CLI,附 7 阶段流水线和 2400 多项测试,适合想让智能体操作真实桌面软件的场景。
Graft 是一个面向智能体规模 monorepo 的开源版本控制实现,按 Anthropic 公开描述的源码控制设计重写,作者声明与 Anthropic 无关联、不含其代码。
推荐理由:面向智能体规模 monorepo 的开源版本控制实现,把历史、diff、合并等操作放到服务端,附与 git 的基准对比和可复现脚本。
Google 最新前沿模型 Gemini 4 Argon 已在 GitHub Copilot 全面可用,面向复杂编码、智能体和推理任务。早期测试中,它在各项编码基准上解决的任务都多于前代 Gemini 模型,在 Copilot CLI 上提升最大,并会在完成前检查边界情况。
推荐理由:Google 新前沿模型 Gemini 4 Argon 在 GitHub Copilot 全面可用,主打复杂编码与智能体任务,早期测试在各项编码基准上超过前代 Gemini。
GitHub 为密钥扫描上线两阶段管线,先用正则生成候选,再用微调 ModernBERT 结合文件路径、变量名和上下文判断是否为真实凭据。相比原 LLM 管线,仓库所有者加权接受率提升 11.5%,push 后扫描中位执行时间降低 86%,服务成本降低超过 98%;离线评估中精确率提升 13%、召回率提升 19%。
推荐理由:GitHub 用微调 ModernBERT 替换原 LLM 密钥扫描管线,给出接受率、耗时与成本三项线上对比数据,可看窄任务上小模型替代 LLM 的取舍。
NVIDIA 宣布 RTX Spark 笔记本将于 10 月 16 日上市,并联合生态伙伴推出配套软件更新,覆盖 GitHub Copilot、Hermes、OpenClaw、Perplexity 等智能体应用,通过 OpenShell 与 MXC 提供沙箱安全,并支持本地与云端模型混合路由。
推荐理由:NVIDIA 公布 RTX Spark 笔记本上市前的本地 AI 软件栈,涵盖智能体应用、Nemotron 新模型与开发者工具,可了解端侧智能体的落地条件。
作者用约 3 个月、估计 600-700 亿 tokens,让 AI 智能体把一款第一人称射击游戏反编译成可编译的 C++,最终 99% 的函数进入重建源码、83% 实现字节级精确匹配。
推荐理由:用 15 个以上 AI 智能体在数月内反编译一款第一人称射击游戏,作者复盘了字节匹配验证、指令衰减和智能体作弊等可迁移经验。
Cockroach Labs 把编码智能体按教学医院角色组织成 MOLT Sinai 流水线,五个月内让 MOLT 工具新增 IBM Db2 迁移支持,而 2024 年加 Oracle 支持用了 9 个月、约 16 万美元工程时间,Db2 只花不到两天、4172 美元 token 费用。
推荐理由:Cockroach Labs 用医院角色分工的多智能体流水线跑五个月真实迁移工具开发,给出成本、返工与流程设计的可迁移经验。
Anthropic 发布 Claude Haiku 5.5,这是 Haiku 档约一年来的首次更新,定价与 OpenAI 的 GPT-6 Luna 相同,同日还下调了 Sonnet 5.5 与订阅计划价格。
推荐理由:Anthropic 一年来首次更新 Haiku 档,价格对齐 GPT-6 Luna,第三方评测给出与竞品的具体差距和 token 消耗代价。
Anthropic 最新的轻量模型 Claude Haiku 5.5 已在 GitHub Copilot 中正式可用,面向子智能体、快速编辑和终端任务等高频场景。
推荐理由:GitHub Copilot 上线 Claude Haiku 5.5,面向子智能体、快速编辑和终端任务,早期测试中在多项编码任务上追平 Sonnet 5 且 token 与步骤更少。
GitHub Copilot 的本地沙箱功能正式可用,覆盖 GitHub Copilot CLI、GitHub Copilot 应用以及使用 Agent Host 的 VS Code 会话。
推荐理由:GitHub Copilot 本地沙箱正式可用,为智能体命令划定文件、网络与凭据边界,且不额外收费。
GitHub 发布基于 ModernBERT 的通用密钥检测分类器,利用周边代码上下文识别数据库 URL、Kubernetes Secret manifest 和 Dockerfile 中的密码类值,可在 2 毫秒内评估一批候选密钥,官方称能让 push 保护可拦截的密钥数量翻倍以上。
推荐理由:GitHub 用 ModernBERT 分类器把密钥检测做进 push 环节,2 毫秒内判断候选密钥,官方称可拦截数量翻倍以上。
GitHub 发布用于密钥检测的微调模型,可读取上下文代码识别凭证,包括没有固定格式的密码,且不生成代码或文本。现有 AI 检测密码告警已自动升级到新模型,GHSP 和 GHAS 客户无需额外付费;推送保护中的 AI 密钥检测进入私有预览,Copilot CLI 和 Copilot App 的 /security-review 命令也将支持该检测。
推荐理由:GitHub 把微调后的密钥检测模型接入告警、推送保护和 Copilot 安全审查,并说明各功能的计费与开启方式。
OpenAI 在 GitHub 发布 372 项由内部前沿模型生成的数学结果,每项声称解决一个开放问题或取得实质进展,涵盖主要计算机算法的改进以及与黎曼猜想相关的进展,仓库附带修订日志和引用。
推荐理由:OpenAI 把 372 项 AI 生成的数学结果发到 GitHub 而非期刊,并附 Lean 形式化,数学界对量产证明分歧明显。
Zit 是一个 git 扩展,面向多人加多个编码智能体同时修改同一仓库的场景,用写时复制工作区替代 git worktree,最新版本 0.1.1,需要 git 2.38 以上,支持 macOS 和 Linux,可通过 cargo install zit --locked 安装。
推荐理由:面向多人和多个编码智能体同时改同一仓库的场景,用写时复制工作区替代 git worktree,并记录每次改动的理由与成本。
Orbit 是一个本地优先的编码智能体运行时,为 Claude Code、Codex、Cursor、Copilot 等九种 CLI 提供持久任务队列、隔离沙箱 worktree、文件级锁、以 pull request 收尾的门控流水线和全步骤审计日志。
推荐理由:给编码智能体加一层本地任务队列与审计,让并行运行、审批和 PR 流程可追溯,适合多智能体协作的团队。
Langgraph-harness 是一个基于 LangGraph 构建的自托管 AI 编码智能体平台,面向 GitLab 自动评审合并请求、处理工作项与任务,并提供带项目上下文的对话。
推荐理由:面向 GitLab 的自托管编码智能体,能自动评审 MR、处理 issue 并生成草稿 MR,附生产使用数据。
开源项目 REA 通过 npx rea-agents setup 把逆向分析工具接入 Agent,可分析原生二进制、JavaScript/Electron 应用、.NET 程序集和网页,解释某个功能如何实现并据此在自己的项目里重建。
推荐理由:把 Hopper、Ghidra 等逆向工具接进编码 Agent,让它在本地分析二进制并照着实现同类功能,附证据与限制说明。