趋势

代理产品宣传控制能力的速度快于公开证据

日 · 2026-06-19 · Software Intelligence

这一天最清晰的信号是:产品化速度受到评估压力推动。编码和安全代理宣传防护栏、修复循环和审计轨迹;模型路由论证则把成本、延迟与质量放在一起比较。多项声明仍缺少公开数据集或可复现实验协议。

编码代理发布控制

Minovative Mind CLI 被描述为一个能编辑代码库、且不会让代码库处于损坏状态的代理。它声称的控制措施包括本地语义代码搜索、覆盖 11 种语言的依赖追踪、带互斥锁注册表的并行子代理工作、写入前语法检查、模糊补丁、事务日志、沙盒构建试运行,以及通过 /revert 回滚。构建循环有边界:每次试运行最多 120 秒;出现编译器错误或回归后,最多自动修正 5 次。

证据停留在功能层面。来源没有给出 SWE-bench、HumanEval、RepoBench、通过率、延迟、成本或基线对比。因此,它适合用来了解当前编码代理产品的需求清单,不能证明该系统优于其他代理。

代理式静态安全审查

Aikido Code Audit 面向需要跨文件追踪意图和状态的漏洞。该产品会扫描一个或多个代码库中的静态源代码,跨模块跟踪引用,并返回包含根因、代码证据和 AutoFix 拉取请求的发现结果。示例包括多文件不安全直接对象引用链、源码级 ReDoS 检测,以及实时测试可能漏掉的仅管理员路由。

这些说法具体,但主要来自供应商。Aikido 表示,早期使用中每个代码库发现的问题中位数约为 25 个,没有一次审计结果完全干净;该工具大约覆盖完整渗透测试所发现内容的 70–80%,成本约为其十分之一。摘录没有提供公开数据集、可复现实验协议或独立评估。

生产代理的时间调试

StaleTrace 关注已部署代理的一个实际故障模式:事实发生变化后,代理仍基于旧事实行动。它摄取工具调用和已记录的事实事件,将它们重放到时间账本中,分配有效期窗口,并检查代理使用的事实与当时有效的事实是否一致。输出包括根因、影响范围和事故报告。

它的设计选择是确定性。StaleTrace 声称审计期间不调用大语言模型、不使用嵌入,也不使用图数据库。相同输入会产生相同结论。来源展示了一个重建的事故示例,但没有给出准确率、延迟、数据集或生产规模测量。

知识工作的 小模型路由

这篇模型路由文章认为,许多办公任务可以由便宜路由器选择的小型、领域调优语言模型处理。文中报告的 GDPVal-AA 设置把困难任务发给 GPT-5.5,把较简单任务发给 GPT-5.4 Mini。路由系统得分为 1759 ELO,接近单独使用 GPT-5.5 的 1769;单独使用 GPT-5.4 Mini 得分为 1417。路由开销据称低于每个请求 $0.01,并且会在会话中锁定所选模型,以保留提示缓存和输出一致性。

文章还把路由与领域后训练示例放在一起讨论。文中报告称,MAI-Code-1-Flash 约有 5B 活跃参数,在 SWE-Bench Pro 上得分 51.2%,高于 Claude Haiku 4.5 的 35.2%,并且最多少用 60% token。文章还称,路由加调优小语言模型的设置可降低 75–90% 成本,并将延迟改善 2–3×。这些数字让成本与质量的取舍成为主要评估主张。

较新代理工具正在围绕证明、限定范围的记忆和可问责动作构建较早机器人 VLA 工作正集中于可部署的控制机制