AI 写完代码,怎样检查流程漏洞、安排助手分工,再把产品交给用户?
- 工程师 Lauren 建议,让 AI 先找出应用有哪些状态,再检查流程会在哪里出错。 她给出了建模和画流程图的具体办法,检查范围取决于写进模型的状态和规则。
- DeepSeek Harness 希望用插件满足更多需求,范凯更关心选择和配置的成本。 他倾向开箱即用的轻量工具,并把工作分成两类:一次性任务交给临时启动的本地 Agent,重复任务和共同背景交给长期助手。
- 向阳乔木发布录屏工具 Capwise 的开源内测版,支持双语字幕和其他 AI 工具调用录屏。 从基本可用到开放内测,他还分享了逐页检查产品的办法;演示视频只修改过字幕,用户反馈仍是下一步。
上传失败后点重试,应用会走到哪里?
拿一次文件上传来说,应用可能经历等待、传输、成功或失败。失败后点了重试,会重新开始传输,还是停在失败状态?用户取消后,后台是否还会继续上传?这些状态,以及它们之间允许发生的转换,合起来就是一套「状态机」。把规则写清楚,才有办法检查重试、取消或并发发生时,流程是否仍然正确。
React Compiler 核心团队成员、工程师 Lauren 在 11 月 9 日分享了一套检查方法:先找出应用里隐含的状态机,再按子系统分别建立模型,最后把最重要的用户流程画出来,让开发者能看见流程如何变化。
按子系统分别建立验证技能,再把最重要的用户流程画出来。
Lauren 原帖,译意
她给出的两个命令是 /create-formal-verification-skill 和 /statechart,都收在 pstack 插件里。前者针对要验证的规则选择检查工具,并生成可随代码变更重复执行的项目内技能;后者检查 TLA+ 模型,再把用户可见流程画成图,标出违反规则的状态,并给出到达这些状态的最短路径。TLA+ 是一种用来描述系统规则、配合工具检查的形式化语言。有了这些路径,开发者得到的就不只是一句「检查失败」,而是一条能照着复现问题的具体路线。
检查的范围取决于模型中的状态和规则。开发者仍要确认有没有遗漏真实行为,以及模型是否对应实际代码。即便检查全部通过,也不等于整个软件没有错误。Lauren 提供的是一种把流程变成可重复检查对象的方法。
来源:Lauren 的操作建议 · pstack 技能说明
插件满足更多需求,还是让用户承担更多配置?
DeepSeek Harness 希望通过插件覆盖更多需求,范凯则担心用户为此付出选择和配置成本。这是两种思路的分歧:能力越丰富,是否也越容易上手?
DeepSeek Harness 是围绕模型组织工具、上下文和执行过程的智能体运行框架。它在 11 月 8 日晚发布的社区长文中提出,希望成为「Agent 时代的操作系统」:官方提供基础能力和通用功能,社区插件服务更细的行业和工作流,内置功能也可以被替换。文章同时预告了改善插件接口、加强安全、建设官方市场,以及为插件作者提供支持。
JavaEye 开发者社区创始人、前丁香园首席技术官范凯,在 11 月 9 日凌晨提出不同意见。他认为,专业用户更需要开箱即用,把大量插件的选择留给用户,可能增加上手门槛。他倾向于 Pi 这类轻量、可扩展的编码智能体运行框架,让执行任务的工具尽量简单;这是他从个人使用体验出发的判断。
那么,反复执行的任务和大量共同背景放在哪里?范凯把工作分成两类:用完即抛的任务,临时启动本地 Agent 来做;要多次执行、每次都得交代相同背景的任务,交给能够持续保留上下文的 Bot,也就是长期助手。他以前用项目说明文件和技能补足后一类需求,用上 Grok Bot 之后,才更明确地把这件事当成一项独立职责。
长期助手也可以在本机运行。范凯计划让更多任务进入本地的 Hermes——Nous Research 开发、可自行部署的个人智能体。因此,这套分工的分界,是任务只需执行一次,还是要长期承接,而非简单按本地或云端划分。对使用者来说,选择工具前先分清任务性质,比先决定要装多少插件更容易落地。
来源:DeepSeek Harness 社区长文 · 范凯谈插件选择成本 · 范凯谈轻量框架 · 一次性任务与重复任务的分工 · Pi 官方定位 · Hermes 官方定位 · 范凯职业简介
Capwise 的交付过程:基本可用、逐页走查,再开放内测
11 月 8 日晚,产品经理、独立开发者向阳乔木说,录屏工具 Capwise(灵录)已经达到基本可用状态。他给它定下的目标是:开箱即用,录完一键导出。接下来要打磨的,是用户实际接触到的页面和操作。
11 月 9 日上午,他分享了一套 AI 走查提示词,让 AI 从信息架构、用户流程、操作效率、反馈机制、视觉层级、组件一致性六个维度检查产品。发现问题后先判断严重程度,高优先级交给子 Agent 修复,其余整理成可执行方案。据他描述,AI 会逐项截图,检查首次使用引导和具体功能中的细节;他认为这套办法有效。
到当天下午,他展示了通过命令行调用 Capwise、配合豆包语音生成录屏介绍的用法,同时强调,录完后还要编辑修改。命令行入口让其他 AI 工具可以调用录屏,把软件操作、过程记录与成片检查串接起来。
当天傍晚,Capwise 的开源内测版发布,列出了自动双语字幕、鼠标点击缩放、快捷键展示、摄像头美颜和背景美化等功能,也开放了上述命令行调用能力。作者在回复中给出官网和开源地址,提醒内测版可能还有小问题,欢迎用户反馈。
乔木称,发布帖里的演示就是用 Capwise 录的。面对「是否自动剪掉了停顿和口癖」的提问,他解释,那条视频只修改了字幕,没有剪其他内容,因为介绍的是自己熟悉的工具。这次演示呈现的是录制和字幕处理的成果,成片仍有人检查和修改,还不能说明这条流程已经不需要人。
从基本可用到 AI 走查,再到命令行录制和开放内测,这条时间线里,代码完成之后仍有产品检查、人工编辑和用户反馈。它们共同决定了工具能否从开发者自己的电脑,走到别人手里。
来源:11 月 8 日基本可用的说明 · 六维产品走查 · 命令行录制与人工修改 · 内测发布 · 演示只修改字幕的说明 · 内测下载及开源地址
短讯
- Grok Bot 承诺改善消耗与行为。 Tesla 首席执行官马斯克在 11 月 8 日晚称,团队正在优化用量效率和行为;11 月 9 日工程评审后,他预计到次日会有明显改善,这两条帖给出的是当时的修复承诺。来源:优化方向 · 评审后表态
- OpenClaw 发布可靠性补丁。 这款个人智能体工具的 v2026.11.2 修复了更新修复流程失败、定时提醒缺失、聊天控件重复等问题,官方说明此次没有新增功能。来源:发布帖 · 发行说明
文末来源索引(主线索)
- 状态机检查:Lauren 的操作建议 · pstack 技能说明
- 助手分工:DeepSeek Harness 社区长文 · 插件选择成本 · 轻量框架 · 任务分工 · Pi · Hermes
- Capwise 内测:基本可用 · 六维走查 · 命令行录制 · 内测发布 · 演示说明 · 下载与开源地址