SyzForge：MCP 工具边界与可追溯调查

阅读摘要

文章介绍 SyzForge 的三项分工：SyzLens 获取调查材料，KernelLab 管理构建与复现，KernelMail 准备社区协作材料。工具返回可检查的工件，推理交给上层 Agent；来源、校验和及前后对照记录帮助调查交接。阅读原文。

与当前项目的联系

以下是本站设计建议：把 ReAct Agent 的工具结果整理为“输入参数、执行状态、输出位置、时间和内容摘要”。对沪漂树洞的故障也可以采用同样思路，区分事实采集、复现步骤和修复判断，避免只有一段最终结论。

讨论问题

• 工具返回成功，是否等于调查结论正确？
• 怎样在重试后关联同一个问题，保留每次执行记录？
• 为什么生成补丁、生成发送草稿和实际发送应是不同操作？

建议实验与验收

用一个自行编写的失败测试代替真实内核漏洞，拆成采集日志、运行测试、生成报告三个本地工具。人为注入缺失日志、超时和校验和不一致，检查流程是否明确报告缺口。验收产物包括输入清单、失败前后的测试输出和一个可离线阅读的报告；练习不包含邮件发送或运行外部漏洞程序。

作者提及的补丁经历属于作者项目，本条不将其作为本站或 determine 的贡献。