---
title: "认识 Salix：Comma 背后全天候运行的智能体框架"
description: "Salix 全天候运行你的 Comma 智能体。它的 Loops 24 小时盯着你的事件，只在工作需要时才调用大模型。"
url: https://comma.surf/zh/agent
language: zh-CN
---

# 认识 Salix：Comma 的智能体框架

Salix 全天候运行你的 Comma 智能体，只在工作需要时才调用大模型。

[开始使用](https://app.comma.surf/) [GitHub](https://github.com/AFK-surf/Comma)

## Salix 工作中

一个可以点开查看的例子。你让 Comma 盯着 #support 和你的收件箱，留意 bug 报告，它为此写了一个 Loop。一位客户报告了 bug，Loop 唤醒了 Comma。Comma 开始了一个任务，Worker 在云电脑上复现问题，并提交修复等你审核。窗口旁的编辑器展示了 Salix 内核中的两个 Lean 证明。

## 深入 Salix

### Loop 全天候值守

你的智能体会写一个小程序，也就是 Loop，用来盯着你的收件箱、代码仓库或信息流。它日夜运行，只在有事需要处理时才唤醒智能体。

[了解 Loop](https://comma.surf/zh/docs/salix/loops)

### 用 Jev 快速判断

Loop 会询问 Jev 这样的快速决策模型：一封邮件或一个事件是否需要你处理。平静的一小时不消耗任何大模型 token。

[Loop 如何做判断](https://comma.surf/zh/docs/salix/loops#decisions-without-a-large-model)

### 用 Elixir 和 Lean 构建

系统某个部分出故障时，Elixir 让你的智能体继续运行。智能体循环的核心用 Lean 编写，并证明你的数据只会流向允许的地方。

[Salix 如何工作](https://comma.surf/zh/docs/salix#built-in-elixir-and-lean)

### 在你的 Mac 上工作

Salix 接入你的 Mac，让 Comma 能在上面打开和更新你的文件。智能体也可以在 Mac 上运行 Codex 或 Claude Code。

[了解设备](https://comma.surf/zh/docs/salix/devices)

## 常见问题

### Loop 能盯着什么？怎样启动或停止 Loop？

Loop 可以盯着一个已连接的应用（比如 Gmail、GitHub 或 Slack），轮询一个 Web API，或通过它专属的秘密 webhook URL 接收事件。在对话中让 Comma 跟进某件事，比如一个拉取请求或一个讨论串，它就会设置并启动 Loop；不再需要时，让它暂停或删除这个 Loop 即可。一个智能体最多可以同时运行 20 个 Loop。

### Loop 在等待时会产生什么费用？

等待中的 Loop 是 Salix 集群上的一个小程序，不是云电脑。它不调用模型，本身也不计费，只有它调用的东西才会消耗额度：比如向 Jev 提问，即使你接入了自己的模型密钥，这也会消耗额度；又比如它唤醒智能体后产生的对话轮次，和其他轮次一样计费。在每个十分钟的时间窗口内，它最多唤醒智能体六次。

### Jev 负责判断什么？它拿不准或判断错了怎么办？

Jev 回答 Loop 提出的问题，比如一封新邮件是否需要你处理；它不能发送消息、不能修改任何东西，也不能授予访问权限。当 Comma 替你跟进一个拉取请求、议题或讨论串时，只有 Jev 以 0.9 或更高的置信度回答“静默”，对应的 Loop 才会保持静默；其他任何结果，包括出错，都会交给你的智能体，智能体会按要求先核对来源，再给你写消息。如果 Jev 信心十足地答了“静默”却答错了，那条更新就不会送到你这里。

### Loop 读到的数据会怎样处理？

它始终只是数据：邮件或事件无法修改 Loop 的代码，也无法扩充它那份固定的能力清单。收到的事件只保存到 Loop 确认收到为止；Loop 只保留一个检查点，最大 16 KB。它读到的内容只能通过 Loop 自己发起的调用继续传出，比如向 Jev 提问（Jev 由 TypeSafe AI 运行），或向你的智能体发送唤醒消息。

### Salix 的某个部分出故障时会怎样？

每个智能体都是 Erlang VM 上的一个独立进程，所以出故障的部分会重启，其他智能体继续运行。Salix 已接收的消息在重启后依然保留；一个会产生改动的操作如果被中断，不会自动再执行一次。Loop 在重启或被移到另一个节点后，会从上一个检查点继续；如果它自己的程序出错，每小时最多重启三次，之后就会停止并告知你的智能体。

### Lean 证明能保证什么，不能保证什么？

智能体循环的核心以 Lean 代码运行，它的证明由机器检查。这些证明表明：Salix 已接收的工作在故障和重启后依然保留；回复失败不算完成；每个会产生改动的操作，都会在 Salix 启动它之前记录下来，并且最多只启动一次。这些证明建立在对内核周边代码的明确假设之上，不对存储、模型的判断或任务是否成功作出证明。

### Comma 能在我的 Mac 上做什么？怎样收回权限？

一开始，Comma 只能读取已连接电脑上的文件，你的 Mac 也不例外。要让它修改文件、运行命令并使用那台电脑上安装的编程智能体，请在“设置 > 设备”中为那台电脑打开“允许操作”。你随时可以关掉它：正在运行的命令会停止，Comma 也会回到只读状态。

### Salix 能在我的电脑上运行哪些编程智能体？

当已连接的电脑上装有 Codex、Claude Code、Pi 或 Kimi，并且打开了“允许操作”时，Comma 就可以把工作交给它。编程智能体在那台电脑上完成工作，对话则由 Salix 保存。如果电脑离线，工作会等待，或返回错误而失败；Salix 不会自行把它转移到另一台机器上。

## Try Comma, Now.

[开始使用](https://app.comma.surf/)