← 返回 X 快报
X 快报
6 分钟

AI 写完代码之后:怎么检查流程,怎么把产品交到用户手里

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 日基本可用的说明 · 六维产品走查 · 命令行录制与人工修改 · 内测发布 · 演示只修改字幕的说明 · 内测下载及开源地址

短讯

文末来源索引(主线索)