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 运行在 Spinfoam 上，它的 JIT 编译器经过形式化验证，生成的代码是内存安全的。
始终在线，但不需要始终开着的沙箱
借助 Loop，智能体可以全天候盯着你的数据。Loop 是在集群上运行的小程序。它只在有事需要处理时才唤醒智能体，所以平静的一小时不消耗任何模型 token。
你的机器和你的运行时
你可以把 Linux 或 macOS 机器接入 Salix，智能体就能在上面运行命令、打开文件。Comma 正是用这种方式在你的 Mac 上工作。
Salix 有自己的智能体循环。智能体也可以在你选择的设备上使用 外部智能体运行时，比如 Codex 或 Claude Code。