---
title: "Salix · Comma 文档"
description: "运行 Comma 智能体的智能体框架。"
url: https://comma.surf/zh/docs/salix
language: zh-CN
---

Salix

# Salix

Salix 是 Comma 的智能体框架：一个分布式、多租户的运行时，负责运行每一个 Comma 智能体。它用 Elixir 和 Lean 编写。

## 智能体很多，资源很少

传统的智能体各自拥有一个沙箱：在智能体工作期间一直开着的容器或 VM。Salix 用一个这样的沙箱所占的 CPU 和内存，就能运行数百个智能体。

Salix 把每个智能体放到集群中的某个节点上，并在集群变化时把智能体移到其他节点。它跨节点在智能体之间传递消息。一个集群可以有数百个节点。

## 智能体在沙箱之外运行

智能体的大部分工作都不需要电脑：阅读、规划、写作，以及调用你已连接的应用。Salix 直接在框架里运行这些工作，而不是放进沙箱。

当智能体需要电脑时，Salix 会为它唤醒一台云端 VM。VM 会在两次使用之间保留存储，所以文件和装好的工具都留在智能体离开时的位置。工作完成后，VM 可以再次休眠。

## 用 Elixir 和 Lean 构建

Salix 运行在 Elixir 和 Erlang VM 上。每个智能体都是一个独立的轻量级进程。系统的某个部分出故障时，它会自行重启，其他智能体继续运行。

智能体循环的核心用 Lean 编写。它的控制决策，比如一轮对话接下来做什么、你的数据允许流向哪里，都以附带机器检查证明的 Lean 代码运行。

[Loop](https://comma.surf/zh/docs/salix/loops) 运行在 [Spinfoam](https://github.com/AFK-surf/spinfoam) 上，它的 JIT 编译器经过形式化验证，生成的代码是内存安全的。

## 始终在线，但不需要始终开着的沙箱

借助 [Loop](https://comma.surf/zh/docs/salix/loops)，智能体可以全天候盯着你的数据。Loop 是在集群上运行的小程序。它只在有事需要处理时才唤醒智能体，所以平静的一小时不消耗任何模型 token。

## 你的机器和你的运行时

你可以把 [Linux 或 macOS 机器接入](https://comma.surf/zh/docs/salix/devices) Salix，智能体就能在上面运行命令、打开文件。Comma 正是用这种方式在你的 Mac 上工作。

Salix 有自己的智能体循环。智能体也可以在你选择的设备上使用 [外部智能体运行时](https://comma.surf/zh/docs/salix/agent-runtimes)，比如 Codex 或 Claude Code。

## 本节内容

- [Loop](https://comma.surf/zh/docs/salix/loops)：始终在线的后台工作，编译为 eBPF。
- [设备](https://comma.surf/zh/docs/salix/devices)：接入你自己的机器。
- [智能体运行时](https://comma.surf/zh/docs/salix/agent-runtimes)：内置智能体循环、Codex 和 Claude Code。