一、整体定位：一个"日志驱动"的反应式状态机

ReactLoopAgent（packages/core/agent-loop/src/agent.ts）不是传统意义上的 while-loop 脚本，它是一个三态相机 + 事件日志回放器的复合体：

Phase = idle | maintenance | running

• idle：驱动器不存在，lastTurn 记住上次进度
• maintenance：独占的维护窗口（如 compaction），持有独立 AbortController
• running：驱动器存活，turn/step 计数 + wakeRequested 闩锁

关键设计：同一时刻只有一个驱动器 promise（activityDone），wakeDriver() 在驱动器存活时只设置闩锁而不重入，在 maintenance 或被 abort 的活动期间则把唤醒"挂账"，等收敛时重放（agent.ts:172-193）。这解决了 agent 系统最难的问题之一——唤醒信号的丢失与重入——用一个 latch 而不是消息队列。

二、输入侧：双通道 Inbox 的持久化设计

所有输入通过四个动词进来（agent.ts:113-132）：

1. 一句话定位

DeepSeek Harness 是一个**"一切皆插件"的 Agent 运行时**：以 vendored Cordis 为插件内核，把模型、工具、会话、执行环境、子代理全部抽象成可替换的能力接缝（capability seam），再用分层配置（profile / bundle / patch）组合成产品。它的本质不是"一个 agent"，而是一条生产 agent 的装配线。

2. 分层架构总览

Spritely 是一个跑在 deepseek-harness Web 界面里的浮动小精灵。它盯着 agent 的一举一动——待命、思考、写代码、调工具、等你确认、报错、收工——然后做出对应的表情和动作。眼珠会跟着你的鼠标转，可以被拖到任意角落，还能换角色、换背景。

这个项目完整走完了一条「dsh 客户端插件」的开发—独立化—分发链路，过程中踩了不少坑。这篇文章把三件事讲清楚：它怎么工作、怎么开发、怎么安装。

项目地址：github.com/wang-junjian/spritely

一、它是什么，能做什么

一句话：把 agent 的「内心活动」可视化。agent 长时间跑任务时，你盯着终端只能看到文字流，很难一眼判断它现在在干嘛、是不是卡住了。Spritely 用一个小精灵把状态翻译成表情和动作。

面向第一次接触 dsh 的开发者。读完本文你将能：理解 dsh 插件的运行原理、照着完整流程从零写一个 UI 插件、避开主题/背景/测试等高频坑。

全文以正在开发的 Spritely（精灵插件）为贯穿案例。

1. 心智模型：一句话理解 dsh 插件

dsh（DeepSeek Harness）是一个基于 Cordis 依赖注入框架的插件系统。一个"插件"就是一个可复用的功能单元，通过声明自己需要哪些服务、提供哪些能力，被宿主（host）动态加载和组合。

对客户端 UI 插件而言，一句话概括：

你在写一个 React 组件 + 一份状态源 + 一段注册逻辑。宿主负责在合适的时机、合适的位置把它挂载进界面，并通过"注入面"（inject face）把服务递给你。

一个 UI 插件（如右下角的精灵）由三样东西组成：

组成	作用	在 ui-sprite 里对应
组件	画出来的东西	SpriteMascot.tsx（SVG 精灵 + 菜单 + 面板）
状态源	组件读的数据（可观察）	sprite-state.ts / background-source.ts
注册逻辑	告诉宿主"挂哪、需要什么"	client/index.ts 的 apply / inject

2. 工作原理：插件是怎么被加载的

2.1 双端结构（node 端 / client 端）

引言：越过“莫拉维克悖论”的物理鸿沟

在硅谷的咖啡馆和波士顿的实验室里，一个共识正在变得震耳欲聋：2025-2026年将是具身智能（Embodied AI）与世界模型的爆发元年。

过去两年，大语言模型（LLM）向世界展示了“数字大脑”的极限。它们能写出惊世骇俗的论文，却在“莫拉维克悖论”（Moravec's Paradox）面前碰了壁——对人类而言极其困难的高智力任务（如微积分），AI手到擒来；但对人类而言本能级的物理感知（如在风中接住一片落叶），AI却举步维艰。

斯坦福教授李飞飞曾精辟地指出：“大语言模型是‘黑暗中的文字匠人’，能言善辩却脱离现实；而世界模型则是‘观察与行动者’。”从“数字脑”进化到“物理体”，这场关于机器人的“安卓时刻”并非简单的硬件改良，而是底层逻辑的彻底重构。以下是隐藏在具身智能浪潮背后的五个颠覆性## 真相。

真相一：“复仇者联盟”的奇袭——开源大脑为何能击败谷歌？

在机器人领域，规模（Scaling）并不是唯一的真理。2024年6月，开源模型 OpenVLA 的问世让业界大跌眼镜：这个仅有 70亿 参数的模型，在29项操作任务中的成功率竟然比拥有 550亿 参数的谷歌 DeepMind 旗舰模型 RT-2-X 高出了 16.5%。

这场胜利源于一种精妙的“三人小团队”架构：

• DINOv2（眼睛A）：负责理解复杂的空间几何关系。
• SigLIP（眼睛B）：专门负责抓取语义信息和物理常识。
• Llama2（大脑）：作为指挥官，将两双眼睛捕捉到的信息融合并进行逻辑推理。

韬（τ）定律（Tau Scaling Law）由华为半导体业务部总裁何庭波在 2026 年 IEEE 国际电路与系统研讨会（ISCAS 2026）上正式提出，是指导后摩尔时代半导体与电子系统演进的新核心原则。

1. 引言：一个时代的终结与新逻辑的诞生

半导体行业曾长期生活在摩尔定律的金色余晖下。通过几何比例缩放（Geometric Scaling），我们习惯了晶体管每隔18-24个月就缩小一倍的神话。然而，当物理极限的铁幕落下，单纯依赖光刻机压榨空间的路径正步入死胡同。过去六年，在全球半导体产业因热量与复杂性陷入“饱和区”的焦虑时，华为在重压之下，于2026年东海岸技术峰会上抛出了一枚震撼弹——“韬（τ）定律”（Tau Law）。

这不仅仅是一次技术更新，更是一场认知的范式转移：芯片的演进逻辑正从 “空间（几何）缩放”转向“时间（延迟/频率）缩放”。华为正试图告诉世界，当城市的平面扩张（平面集成）遭遇边界时，唯一的出路是向天空索取空间，将“城市蔓延”转变为“摩天大楼架构”。

2. 核心突破：从“空间缩放”转向“时间缩放” (Tau Law)

“韬（τ）定律”的核心逻辑建立在一个深刻的哲学基础上：空间与时间是同一枚硬币的两面。在半导体领域，几何缩放的终极目的，始终是为了缩短电信号运行的时间。

华为指出，即便物理尺寸的缩小趋于停滞，我们依然可以通过优化时间尺度（Time Scaling）来驱动进化

为进一步提升公司代码安全自动化防护能力，研发中心围绕Strix多智能体网络安全渗透测试工具，针对开源Java漏洞实训平台JavaSecLab开展白盒深度代码审计与系统化渗透测试选型论证。本次评估重点考察Strix在复杂业务逻辑场景下的漏洞挖掘效能、标准化报告输出能力，以及对接CI/CD研发流水线的集成适配潜力，具体论证情况如下：

1. Strix：LLM驱动的多智能体安全审计架构

Strix是基于大语言模型（LLM）构建的自动化渗透测试工具，核心能力为多智能体协同检测。本次测评对象JavaSecLab基于Spring Boot、MyBatis‑Plus、Layui等主流技术栈搭建，Strix可实现源代码、框架配置、业务逻辑、第三方依赖组件的全域覆盖。 借助深度扫描模式，工具完成全量代码静态分析、漏洞溯源与完整数据流审计，成功识别出反序列化RCE、SQL注入、认证绕过、SSRF、XXE等多类型安全漏洞，覆盖代码层、依赖层、业务逻辑层多个风险面。

2. 深度审计执行流程与多维度结果输出机制 Strix具备高自主化审计执行能力，内部调度8类专业智能体协同完成任务；以JavaSecLab深度审计任务为例，单次任务LLM调用次数约306次，Token消耗约21.5M。

摘要

大语言模型驱动的代码生成技术正在重构传统软件工程的生产模式，软件开发重心逐步从手工代码编写迁移至需求定义、约束建模与质量验证环节。上海交通大学林云副教授提出 需求编译（Requirement Compilation） 理念，以 ARC（Agentic Requirement Compilation）智能体需求编译框架为核心，探索把大规模多模态业务需求文档直接转化为可运行软件系统的技术路径，同时开展面向智能体软件工程的课程教学改革，推动开发者从“代码工人”向“智能体架构师”转型。本文基于该前沿报告，梳理智能体软件工程范式变革背景、ARC框架技术原理、现存技术痛点、教学实践方案，同时分析产业落地瓶颈与未来研究方向，为Agent软件工程领域提供研究参考。

关键词：智能体软件工程；需求编译；ARC框架；大语言模型；测试驱动开发；DSL领域特定语言

一、引言

传统软件工程流程以人工编码为核心，需求、设计、编码、测试环节由人主导完成。生成式大模型出现后，单轮提示词生成小程序代码已经较为成熟，但面对包含数十至数百业务场景的大规模真实业务需求时，通用大模型普遍存在需求理解不全、逻辑幻觉、边界场景遗漏、架构混乱、需求‑代码不可追溯等问题，很难直接产出完整可维护的软件系统，形成AI编程的“复杂性高墙”。

现有Agent编程大多聚焦于代码补全、小脚本生成，缺少一套完整的、工程化的端到端链路：即从非结构化

大道：call, put

🏑网友: 港交所最新披露显示，段永平控制的 H&H International Investment 对泡泡玛特的申报好仓，由 7.65%降至5.55%……

⛳️大道: 就是put expired, 部分被call走了。（2026.8.5） ⛳️大道: 其实主要是put到期影响比较大，另外有部分当时买的时候就直接卖了call了。可能未来在一定的价格区间我会一直这么做。从一开始我就说过了，泡泡玛特保险公司开张了。很多人看不懂这句话！ 🏑网友: 卖出这么多，本质还是短期认为这个价位也不低，否则不可能舍得卖的，当然也有可能后面低位再吸进来，涨不上去，反复put低吸call高抛还是会挣钱。 🏑网友: 你完全理解错了啊，买入正股+卖call=卖put，大道是之前put卖的太多了超上限不能卖了，所以就买入正股+卖call，相当于以162.5的价格卖了一个put啊。 ⛳️大道: 哈，居然有个真懂的! 是的，港交所对卖put 总量有上限，所以有时候会用， 买入正股+卖covered call的办法（数学上是一样的)。我卖的call都是股票买入的时候直接就卖了call了，比如161买入的就直接卖了一个月162.5的call，当时好像能收3-4个点（目前8/28到期的160的put 可以收6.85，162.5的call可以收7.

课程来源：microsoft/AI-For-Beginners 12 周 · 24 节课 · 涵盖符号 AI、神经网络、计算机视觉、NLP、强化学习与伦理 核心框架：TensorFlow / PyTorch · 辅助工具：OpenCV、Keras、NetLogo、OpenAI Gym

课程总览

这门课程由微软开源，面向 AI 初学者，采用「理论 + Jupyter Notebook 实操 + 实验室练习」三位一体的教学模式。整个课程从 AI 的历史与哲学出发，先建立符号推理的经典视角，再系统进入神经网络与深度学习，随后分两条主线深入——计算机视觉和自然语言处理——最后以遗传算法、强化学习、多智能体系统和 AI 伦理收尾。

课程刻意不覆盖传统机器学习（如 SVM、决策树）和云端认知服务，而是聚焦于深度学习范式和符号 AI 的对立统一，帮助学习者建立对 AI 全貌的结构化理解。

第一部分：AI 导论（第 1 课）

核心问题：什么是智能？机器能否思考？

课程从图灵测试切入，回顾了 AI 的两次浪潮：第一次是基于符号逻辑的规则系统（1950s–1980s），专家系统曾一度繁荣但因知识获取瓶颈和扩展性差而遭遇「AI 寒冬」；第二次是数据驱动的连接主义（2010s 至今），廉价算力与海量数据的结合催生了深度学习革命。

关键概念：窄 AI（专用任务）vs. 通用 AI（AGI，尚未实现）；符号推理 vs.

• Kimi K3: Open Frontier Intelligence

一、研究背景

大型语言模型（LLM）的发展一直沿着两条轴线推进：

• 第一轴：预训练规模扩展——在部署前投入更多计算，训练更大的模型、使用更多的数据。这是传统意义上的"Scaling Law"。
• 第二轴：测试时计算扩展——通过强化学习和推理时增加思考预算，让模型在回答问题时"想得更久"。

近年来，OpenAI的o系列、Anthropic的扩展思维模型、DeepSeek-R1和Kimi K1.5等工作，让"测试时扩展"成为前沿研究的核心焦点。然而，开源社区在第二条轴上进展迅速，但在第一条轴上却明显滞后——大多数开源模型仍停留在1T参数规模左右。随着越来越复杂的推理和智能体方法被应用于规模相近的预训练模型上，开源进展面临趋同风险，而与最强大专有系统（Claude、GPT系列）的差距可能持续扩大。

与此同时，真实世界的智能体任务需要处理超长上下文（如软件工程仓库、数万页文档、多天跨度的对话），要求模型同时具备大参数规模、长上下文窗口和原生多模态理解能力。Kimi K3正是在这一背景下诞生的：同时推进两条扩展轴，将预训练基础扩展到前所未有的3T类参数规模，同时在1M上下文长度上扩展强化学习、推理努力和长周期交互。

二、要解决什么问题

Kimi K3要解决的核心问题可以概括为以下

WAIC 2026 腾讯 AI 应用创新论坛 · 首次系统性打通「感知—身体—行动」闭环

资料来源：腾讯官方发布稿、腾讯云开发者社区技术文章、Robotics X 实验室 & 福田实验室 & 腾讯混元联合发布内容（2026-07）

核心理念

腾讯首席科学家张正友提出：今天最聪明的人工智能本质是「缸中之脑」——善于逻辑、文本与问答，却缺少与物理世界直接互动的闭环。真正的智能要让 语言、视觉、空间认知、身体控制和环境反馈 在「感知—身体—行动」闭环里接受验证。

本次发布的五项成果，体现了腾讯「从离身走向具身、从分裂模块走向整体闭环」的探索思路：三个基座模型 + 一个智能体框架 + 一个 Always-on 智能体 + 升级的开源平台 + 云端 EaaS 服务。

一、全栈四层架构总览

整套方案贯穿四个层级，从下到上分别是 云底座 → 模型层 → 智能体框架层 → 平台层，最上层是零售导览、养老照护、工厂作业等真实应用，形成「数据/算力 → 模型 → 调度 → 本体 → 反馈」的完整链路。

graph TD
  A[应用层 · 真实场景落地<br/>零售导览/文旅导览/养老照护/工厂作业/按摩服务] --> B
  B[平台层 · Tairos 钛螺丝开放平台<br/>开源模型/智能体/工具 · RoboFusion · HAL · Isaac Sim 仿真] --> C
  C[智能体框架层 · TairosAgent + Apexio Always-on<br/>调度左右脑/大脑/小脑/身体 整合为闭环整体] --> D
  D[模型层 · 混元基座之上的具身模型矩阵<br/>VLM-1.0 右脑 / RxBrain-1.0 大脑 / VLA-0.5 小脑+身体] --> E
  E[云底座 · EaaS 三层体系<br/>算力底座 / 模型服务 / 感知交互]

云底座 EaaS 三层体系明细：

研究对象：上海蚂蚁灵波科技有限公司（Shanghai Ant Lingbo Technology Co., Ltd.），对外品牌 Robbyant，模型系列 LingBot

方法说明：本报告基于公开信息（官网、arXiv、GitHub、工商登记、媒体报道、第三方论文）交叉验证撰写。全文严格区分「已核实事实」「厂商宣传口径」「媒体传闻」三类信息，并在关键处标注冲突口径。

一、核心结论（TL;DR）

1. 它是一家"模型公司"，不是"机器人公司"——但立场并不纯粹。灵波的战略主张是"不做本体、只做通用大脑"，对标 Physical Intelligence；可它同时推出了自研本体 R1（2025.09）与 R2（2026.07）。官方解释是本体用于"定义参考构型、暴露软硬件问题、支撑数据采集"，但客观上使其处于软件叙事不够纯粹、硬件能力不足以对抗本体厂的中间态。

2. 技术体系的完整度是国内第一梯队，且明显超出同体量公司。7 个模型家族、11 个已发布版本，覆盖深度补全 → 空间视觉基座 → 3D 重建 → VLA 操作 → 世界模型 → 视频生成 → 世界动作模型。同时押注 VLA 与"世界动作模型（WAM）"双线，在国内属少数派，等价于对两条尚未收敛的技术路线做了对冲。

调研日期：2026-08-04 ｜ 调研方式：公开网络检索（知乎、少数派、V2EX、App Store、Reddit、Hacker News、掘金、博客园、Product Hunt 索引、官方博客等），小红书/抖音/微博等平台因站内封闭，以搜索引擎收录内容与第三方转述间接佐证。

产品现状：纯前端单文件 HTML 图像工具，支持多图水平/垂直拼接、裁剪、条带移除（整行/整列删除后自动拼合）、旋转翻转、撤销重做、PNG/JPEG 导出。定位目标：发布为正式产品。

一、摘要：五个核心结论

1. 需求真实且常青。「长图拼接 / 截图拼接」是一个持续十年以上的稳定需求：知乎 2015 年的提问至今仍有新回答，App Store 2025 年仍在密集上架新品，Reddit 上 2016–2025 年持续出现求助帖。它"低频但广泛"，几乎人人偶尔需要。
2. 现有供给口碑普遍差。头部 App（Tailor 仅 3.1 分）、在线工具（限 2 张、要上传、广告多）、综合修图 App（拼图入口难找、订阅套路）都有明显缺口；用户对"画质压缩、水印、广告、注册墙、先做后收费"怨声载道。
3. 你的两大天然优势恰好命中行业最痛的点：① 纯前端、图片不上传（隐私是 HN/Reddit 反复验证的好感点，Photopea、Squoosh、Upscayl 都靠它出圈）；② 「条带移除」功能在全网没有发现任何同名竞品，是差异化杀手锏。
4. 最该优先补齐的不是 AI，而是「自动重叠对齐拼接」。这是滚动截图场景的核心痛点，已被 MeTool、LongPic、Stiiitch 验证为付费卖点，且用纯 JS 传统算法即可实现，零成本、零隐私负担。
5. 变现走「核心免费 + 一次性买断 Pro」（建议 ¥28–48 / <span class="katex-error" title="ParseError: KaTeX parse error: Unexpected character: '&#x27; at position 78: …ch ¥68、Upscayl \̲" style="color:#cc0000">6–10），避开订阅制与注册墙——国内外社区证据都强烈反感订阅，买断制在该品类有大量成功先例（Picsew ¥15、Stitch ¥68、Upscayl </span>25）。

本文档基于Strix 多智能体网络安全渗透测试工具，对开源 Java 漏洞实训平台 JavaSecLab 开展深度白盒代码审计与系统性安全渗透测试。依托 Strix 多智能体协同检测能力，本次测试覆盖项目全部源代码、框架配置、业务逻辑及第三方依赖组件，完整挖掘、归类、验证项目内置的各类安全漏洞。

JavaSecLab 作为面向安全学习、代码审计、安全开发与工具测评的综合型 Java 漏洞靶场，集中复现了 Web 安全、代码缺陷、组件漏洞、业务逻辑风险等大量典型安全问题。本次通过 Strix 深度扫描模式，完成全量代码静态分析、漏洞溯源、数据流审计、风险定级与攻击路径复盘，累计检出严重、高危、中危、低危多维度安全漏洞，覆盖反序列化 RCE、SQL 注入、认证绕过、SSRF、XXE、XSS、模板注入、文件操作漏洞及第三方依赖高危 CVE 等核心风险场景。

Strix 命令行帮助文档

一、项目定位与设计哲学

OpenClaw 不是 AI 模型，而是一个开源（MIT）的 AI Agent 运行时框架（Runtime Framework）——它坐在 AI 模型与外部世界之间，作为一个常驻运行的单体运行时网关（Gateway），负责把自然语言指令转化为真实的系统操作。

定位公式：

OpenClaw = Gateway（网关） + Agent Runtime（运行时） + Skills（技能） + Memory（记忆）

五项核心设计哲学：

理念	说明
Local-first（本地优先）	数据不离开用户设备，记忆为本地 Markdown，配置为 JSON；使用 Ollama/vLLM 本地模型时内容永不外传
网关而非框架	不是 SDK/库，而是独立运行的控制平面进程
模型无关（Model-Agnostic）	一行配置切换 Claude/GPT/Gemini/DeepSeek 等，按任务路由不同模型
插件化内核	Skills、Channels、Providers 均可热插拔（v2026.3.22+ 全面插件化）
工程化 Agent	从聊天机器人升级为任务调度执行系统，强默认不阉割能力，危险路径暴露为操作者可控开关

命名含义： Claw（龙虾钳子）= 抓取/操控/执行能力；Open = 完全开源、社区驱动。