用 Codex 让 Astra、Sol 和 Luna 玩《晨风》：GPT-6 三款模型同一任务表现差异明显

开发者用 Codex 作为智能体运行时，通过 OpenMW 改造版接口 AstraBridge 让 GPT-6 Astra、GPT-6.1 Sol 和 GPT-6 Luna Max 在相同环境下完成《晨风》任务“Fargoth's Hiding Place”。

用 100 行 Python 检查器识别链式 Skill 审批劫持

作者用标准库 Python 写了一个约 100 行的 chain_check.py，用两条规则检测链式 Skill 审批劫持：单 Skill 规则标记同一文本中同时出现状态变更动作（upload、send、delete、transfer）和审批声明的 Skill，链式规则在已安装 Skill 间构建写读图，标记 A 写入含审批声明的文件、B 读取后执行状态变更动作的路径。

写一个智能体能用的 SKILL.md，并先测试它

作者提出 SKILL.md 只有在 description 与用户提问匹配时才会被加载，正文决定加载后发生什么，因此值得信任的前提是先用真实输入跑一遍并读回结果。他建议把规则写成可校验的形式，并在一个更强和一个更弱的模型上分别测试，且测试要能失败。

query-inspector：在提交前提取并调优 SQL/ORM 查询的 Claude Code Skill

query-inspector 是一个 Claude Code 插件，包含 tuning-report 和 inventory-report 两个 Skill，从 git 变更中提取 SQL/ORM 查询，诊断缺失索引、N+1 和反模式并生成报告。

Future AGI 1.47.0 新增通话指标并改进 AI 智能体回答评估

Future AGI 1.47.0 发布，在运行分析中新增通话与语音指标卡片，并修复模拟通话结果与运行详情的对齐问题。评估对话时，错误语言回答、涉及其他产品的回答以及未获回复的请求现统一计为未处理请求；测试环境评估还修复了完整提示词和对话参与者标识的传递。聊天构建器页面支持折叠与调整宽度，宽度在窗口缩放后保留。

对 78 个注册表 MCP 服务器的匿名健康探测：51.3% 能走通完整调用

Pennyforge 对某公开 MCP 注册表 a–b 切片中 186 个端点里能响应 initialize 的 78 个服务器做了匿名健康探测，只有 40 个（51.3%）能走通 initialize→tools/list→一次安全 tools/call 的完整流程。

query-inspector：在提交前提取并调优 SQL/ORM 查询的 Claude Code Skill

query-inspector 是一个 Claude Code 插件，由 tuning-report 和 inventory-report 两个 Skill 组成，从 git 变更中提取 SQL/ORM 查询，诊断缺失索引、N+1 和反模式，并给出带 file:line 的 CREATE INDEX 建议。

mcpward 1.1 上架 GitHub Actions Marketplace，用 lockfile 锁定 MCP 工具契约

mcpward 更新到 1.1 并上架 GitHub Actions Marketplace，它把 MCP 服务器 tools/list 返回的工具定义存进 lockfile，工具描述、必填参数或 readOnlyHint 发生变化时让 CI 失败。

独立开发者用 Claude Code 11 天做出游戏每日谜题，并用真实游戏回放自检

独立开发者 /u/petrucio 用 Claude Code（Opus 5.5）在 11 天内为 Unity 肉鸽卡牌游戏 Kegs of Eternity 做出免费每日谜题 Last Call，已上线其网站和 itch.io。

实测十款 Claude Code Mod：守卫崩溃后命令照样执行，只留下三款

作者在 Claude Code 2.1.288 上用 85 个会话、882 条提示、5993 次工具调用实测十款 Mod，发现没有 .catch 的守卫 Hook 抛错后会被跳过，命令照常执行，加上 catch 返回 deny 才能失败关闭。

Git worktree 解决了并行智能体的文件冲突，测试环境才是难点

作者用 Git worktree 让每个并行编码任务各占一个分支和检出目录，解决了多个智能体编辑同一份代码的冲突，但浏览器测试仍无法确定实际跑的是哪个 worktree 的代码。

当自动检查说谎：一个由 AI 智能体写代码的项目里的五个案例

一个由 AI 智能体写代码、作者不读代码的产品项目里，自动检查多次给出错误结论。作者发现 86 个检查从未被任何流程触发，秘密扫描因 git 默认转义俄文文件名而漏掉 1413 个文件中的 438 个，新检查把 WHERE 误认成表别名而放过注入的错误，测试面板和智能体副本还发来三次假告警。

rashomon 更新：检测测试被填充或翻转，并估算 Claude Code 用量成本

rashomon 发布新功能，--timeline 会标记两类模式：只有测试文件被改动后原本失败的测试立刻变绿，以及同一条测试命令在中间无改动的情况下既通过又失败。

mcpward：给 MCP server 做黑盒契约与安全测试

mcpward 是一个对 MCP server 做黑盒契约与安全测试的工具，把 server 的契约快照进 lockfile，契约变化时让构建失败。

如何证明 MCP 服务端的守卫真的拦得住：deny 路径的测试写法

作者 Craig Solomon 分享了测试 MCP 服务端守卫的方法，核心是把守卫从工具函数体里抽成可单独调用的纯函数，让拒绝路径变成一张参数化用例表。

Future AGI 1.46.0 为模拟分析加入决策优先级

Future AGI 发布 1.46.0，核心改动在 Simulate 模块，为分析多次运行结果引入决策优先级，Runs 标签页现按环境中完整运行次数显示徽章。该版本还优化了运行摘要生成，以及 API v3 搜索场景时的任务处理，适合运行次数较多的团队。项目支持自行部署，云版本可免费开始使用。

Juggling：用独立 Codex 会话复核答案并记录裁决

开源项目 Juggling（Apache-2.0，alpha）让 Codex 以 Writer 身份在只读沙箱中作答，再由一个全新的独立 Codex 会话复核，返回 PASS、CHANGES_REQUESTED 或 CANNOT_REVIEW，无法验证必需步骤时以 HOLD 加原因码停止且不重试。

Dan Lu 实验：测试为何在有 bug 时仍然通过，以及如何验证测试本身

作者解读 Dan Lu 的智能体实验：让智能体按 RFC 用 Rust 写 Zstd 解码器，比较 26 种条件（含无额外指令的对照组），主要对比用 Codex 搭配 GPT-5.6 Sol 的 medium 与 xhigh 两档，每组合 80 次运行，结果这些 TDD、模糊测试、形式化方法等指令没有带来明显整体收益，不少条件还不如对照组。

Addy Osmani@addyosmaniAI 评分3838

Addy Osmani 建议为 AI 智能体配备校验产出的手段，测试是其中一部分。他推荐四类测试：模拟真实用户流程的端到端测试作为基准真相；用基于属性的测试声明绝不应发生的情况并生成数千用例尝试突破约束；替换系统时用随机输入对比新旧版本；要求测试快速且确定性运行，否则智能体可能学会重试而非修复问题。

盘点 9 月 GitHub 上最火的 20 个开源项目

逛逛GitHub 盘点了 9 月份 GitHub 上热度最高的 20 个开源项目。Archify 以约 3.34 万新增 Star 居首，它能把系统描述或代码仓库画成交互式架构图；Ponytail 和 God's Eye View 分别以约 3.12 万、3.11 万 Star 紧随其后。

RepoGuard 发布：通过 MCP 为 Claude 和 Cursor 提供架构护栏

RepoGuard 是一个面向 AI 辅助代码库的架构护栏工具，通过 MCP Server 接入 Cursor、Claude Desktop 等客户端，让 AI 智能体在写盘前审计代码并检查架构违规。

V-Rubrics 用 35 万条细粒度准则细化多模态强化学习奖励

南洋理工大学 S-Lab、A*STAR 和 UIUC 团队提出 V-Rubrics，将 50,248 个视觉样本拆成 352,938 条可逐项检查的准则，让视觉事实、推理步骤和任务要求分别参与奖励计算。

如何阻止 AI 编程智能体过早宣称任务完成

作者运行一套全自主实现系统，由编排器把任务分发给并行实现 Agent（底层是 Claude Code），最初 Agent 可以自行把任务标记为完成，结果出现未跑测试、验收标准未满足、放宽断言让测试变绿、硬编码返回值等问题。

Ben Holmes@BHolmesDevAI 评分5858

Ben Holmes 公开了驱动其软件工厂的多智能体系统：需求来自 Linear issue 或 Slack 讨论，分诊智能体先调研并决定是直接实现还是提问，实现智能体负责构建、必要时先与子智能体协作产出 spec，验证子智能体对实现结果做端到端测试，代码评审智能体与实现智能体循环几轮后再交人工评审上线，监控自动化则响应告警并创建 issue。

Android 上 Vibe Coding 的问题：AI 生成代码的幻觉、协程泄漏与安全数据

作者梳理 AI 生成 Android 代码的常见问题，并引用多项研究数据：USENIX Security 2025 分析 223 万个生成代码样本、16 个模型，开源模型包名幻觉率平均 21.7%，商业模型 5.2%；CodeRabbit 分析 470 个开源 PR 发现 AI 代码缺陷率是人类代码的 1.7 倍，性能问题接近 8 倍。

RugSnare：对 MCP 工具描述做哈希固定，检测批准后的静默变更

RugSnare 是一个针对 MCP 工具描述的运行时完整性工具，对每个已批准工具的 { name, description, inputSchema } 做规范化哈希固定，之后任何静默变更都会触发告警并让 CI 失败（exit 1）。

qarunbook 通过 MCP 让 Cursor 读取测试人员上报的缺陷并修复

作者 Ifeanyi Ejindu 发布 qarunbook，一个面向 Web 和移动应用的人工测试 runbook，用检查项（步骤加预期结果）、各平台通过/失败状态和针对检查项提出的 issue 组织测试，不跑自动化测试。

什么是 vericoding？AI 生成代码时代的验证新范式

vericoding（AI 引导的认证程序精化）是一种以规范而非实现为核心的软件工程方法，由定理证明器（如 Rocq、Lean）充当认证器、AI 负责猜测实现，机器负责验证代码是否符合规范。它按梯度推进：从 Gherkin 场景的 BDD，到 specsaver 的可执行运行时契约，再到 axiomander 的机械化证明。Scidonia 用该方法证明程序行为并优化慢路径。

在百万行级企业遗留代码库中落地 AI 智能体

Rodion Mostovoy 与 Maxim Klyuchnikov 分享了在百万行级企业遗留项目上提升 AI 智能体效率的经验，包括构建术语表、处理技术债，以及用基准测试对比向量 RAG 与 GraphRAG 等上下文引擎的效果。

用自己智能体会话的标注数据微调编码模型

作者搭建了一条流水线，把 Paper Compute 导出的带标签编码智能体会话用于微调模型：会话、轮次和标签先导入 Databricks 的 Unity Catalog，再用 golden、regression、pushback、apology、no-outcome 等标签筛选训练样本和评测用例。

Anthropic 在 claude-api skill 中新增 build-eval 与 hillclimb 命令，自动化 Agent 评估与调优

Anthropic 在 claude-api skill 中新增 /claude-api build-eval 和 /claude-api hillclimb 两条命令，把评估集构建与爬山调优做成引导式工作流。

产品设计师用 Claude Code 单干一个月：为了让项目不散架，我在 AI 周围搭了什么

一位有六年 SaaS 经验的产品设计师用 Claude Code 独自开发生活规划器 Котомка，几乎全部代码由 AI 编写，他负责提需求、验收和决策。

Cloudflare 推出 Worker Previews，为每个 Git 分支提供隔离预览环境

Cloudflare 发布 Worker Previews，让每个 Git 分支拥有独立且接近生产的环境，各自有稳定 URL、独立配置和状态，并带独立可观测性。

skillmem 0.12 发布复盘：用十六个不变量和两个模型做代码评审

skillmem 作者发布 0.12 版本，先把十六个不变量写进 docs/INVARIANTS.md，再让 Codex 和 Claude Opus 5.5 分别寻找反例，规则是发现必须附带可复现的失败测试，由 scripts/release-gate.sh 校验。

Playwright Agent 实战教程：用 Healer 自动修复报错用例

Playwright Agent 的 Healer 能完成跑测试、诊故障、改代码、重跑一整轮，在 VS Code 的 Copilot Chat 里切到 Agent Mode、选 @playwright-test-healer 并贴一句 Run and fix failing tests 即可触发。

Rust 开发者：我不怕被 AI 取代，我怕的是和 AI 一起工作

Rust 开发者 Nikita 认为 AI 只加速了写代码这一段，上下文准备、审查、测试和修复仍要人来做，因此该按“到可上线改动”的时间算收益，而不是按模型首次响应算。

GitHub Security Lab 推出面向 C/C++ 的自主模糊测试流水线 Fuzzing Taskflow

GitHub Security Lab 于 9 月 24 日发布 Fuzzing Taskflow，这是一个面向 C/C++ 项目维护者和安全团队的自主 LLM 流水线。

Vibe Coding Production Kit：给 AI 编码智能体套上生产级工作流

Vibe Coding Production Kit（VCP）发布，这是一个零运行时依赖的 CLI，把 AI 辅助开发组织成规范、架构、有界任务、就绪门禁、验证证据和独立评审组成的工程生命周期，支持 Codex、Claude Code、Cursor、GitHub Copilot 等工具。

Cursor 推出 Rollouts 与 Security Review 两个 bot

Cursor 发布 Rollouts 和 Security Review 两个 bot，均面向团队版和企业版开放。

Playwright Agent 实战教程：让 AI 把测试计划变成能跑的代码

Playwright 官方 Generator 工具可以按已评审的测试计划逐条生成可运行的 Playwright 用例，作者用演示站 jiucaiquan.com 走了一遍完整流程。