跳转到内容
nonstop

产品

Comma 的 Salix：智能体常驻，模型按需醒来

速览

小节「速览」
  • Salix 是 Comma 的智能体套索：分布式、多租户，用 Elixir 和 Lean 写。
  • 智能体是集群上的轻量进程。读、规划、调已连接的应用发生在套索里，不占用一只一直开着的沙箱。
  • Loop 是智能体写的一小段 C，编译成 eBPF，全天盯事件。安静的一小时不花大模型 token。
  • 要操作你的机器时，智能体留在套索里，用原生 SSH 过去，而不是把整个智能体搬进那台机器。

摘要

小节「摘要」

多数云端智能体把模型循环、工具和文件放进同一只沙箱，沙箱跟着智能体一直亮着。Comma 的文档把这三件事拆开。Salix 让智能体住在套索里；云主机或你自己的电脑只在命令真的需要一台计算机时才醒，磁盘可以留到下次。外层还有 Loop：一段很小的程序负责盯邮件、仓库或 webhook，只有它认为值得叫人时，主循环和按 token 计费的模型才启动。10 月的两篇博客把这件事说完整了——先是可编程的事件循环，然后是从套索里伸出的原生 SSH。

展开

小节「展开」

套索在沙箱外面

小节「套索在沙箱外面」

文档里的 Salix 跑在 Elixir 和 Erlang 虚拟机上。每个智能体是自己的轻量进程，一块失败就重启那一块，旁边的智能体继续跑。集群可以把智能体放到某个节点上，节点变化时再迁走，智能体之间跨节点传消息。文档给的密度是：传统做法里一只沙箱占用的 CPU 和内存，Salix 能放上许多智能体；产品页写的是每个 CPU 核超过 100 个。

不需要计算机的工作——读、计划、写、调用已连接的应用——留在套索里。需要计算机时，Salix 唤醒一台云主机。主机关掉之后存储还在，装过的工具和下次还用得上的文件留在原地。你也可以把一台 Linux 或 macOS 挂上去，让命令和文件访问发生在那台机器上。智能体也可以改用外部运行时，例如 Codex 或 Claude Code，跑在你指定的设备上。

智能体循环的核心用 Lean 写。文档说，下一步做什么、数据允许流到哪里，这些控制决定以带机器检查证明的 Lean 代码运行。这是设计声明，见下文「另一面」。

Loop：全天盯着，模型睡觉

小节「Loop：全天盯着，模型睡觉」

10 月 1 日的博客把外层循环叫做 Loop。智能体拿到 SDK 头文件和一份编程说明，自己写一段 C；Spinfoam 把它编译成 eBPF，调度到这个智能体旁边。文档写 Spinfoam 的 JIT 经过形式化验证，生成内存安全的代码。一个 Loop 占用几 KB 到几十 KB，所以可以一直挂着。

Loop 能做的事是一份固定清单：读工具、设备和环境、网络请求、已连接的应用，以及通知它的智能体。它以创建者的权限行动，不能再多。外部系统可以通过 API，或这个 Loop 专属的 webhook 地址把事件送进来。状态靠一个检查点，故障后从检查点拉起。

分类不必叫大模型。Loop 可以问更快的决策模型，文档里的例子是 Jev：这封新邮件要不要人看。只有回答不是「可以安静」时，主循环才醒。产品页补充了几条操作界限：跟随拉取请求、议题或会话时，Jev 要在置信度不低于 0.9 时才会把事件判成安静，出错也交给智能体，并要求它先核对来源再写给你。一个智能体同时最多 20 个 Loop。等待中的 Loop 本身不按模型计费，花费来自它调用的东西，以及它唤醒的那些回合。十分钟内唤醒智能体的次数有上限，文档一处写「有限次数」，产品页写的是同一窗口最多六次；顶在上限上一小时，Loop 会暂停。

SSH：人留在套索里

小节「SSH：人留在套索里」

10 月 19 日的博客讲原生 SSH。家庭服务器停在路由器后面，日志在那台机器上。Comma 的做法不是在服务器上再装一个智能体，而是从 Salix 里调用 SSH 工具：交互终端、单条命令、SFTP 上传下载，以及连接的打开和关闭。认证用工作区共用的一把组密钥，公钥由工具返回，你把它放进 authorized_keys。

第一次连上某个主机时记下主机密钥。以后密钥变了就拒绝，并给出两边的指纹，要你确认之后才允许删掉旧记录。一条 SSH 连接属于一次智能体会话：闲置约 30 分钟关闭，智能体重启或平台部署之后不保留。长时间的活要放在远端的 tmux 或 screen 里。ssh.exec 默认 60 秒超时，最长 600 秒，超时会报告，不会自动重试。

另一面

小节「另一面」
  • 以上全部来自 Comma 自己的文档和博客，不是独立复现。密度、超时和置信度阈值都以他们的页面为准，页面之间的措辞不完全一致。
  • 「Lean 证明数据只去该去的地方」「Spinfoam JIT 形式化验证、内存安全」是厂商对实现的描述。在有第三方证明或审计之前，把它读成架构说明，而不是已经核过的安全结论。
  • 常驻 Loop 会持续看见你授权的邮箱、仓库和 webhook。检查点、事件暂存和 Jev 调用各自有边界，真正的风险取决于你让它盯什么。Jev 若把「安静」判错，那次更新按文档就不会到你这里。
  • 常驻不等于会话永续。SSH 不跨重启，Loop 在一小时内故障重启超过三次会停下来通知智能体。适合盯变化，不适合假装一条连接永远在。

来源

小节「来源」

示例种子，用来把时间线撑起来。内容是公开文档的转述，替换或删掉都可以。