Salix
Salix
Salix 是 Comma 的 AI 代理框架：一個分散式、多租戶的執行環境，負責執行每一個 Comma AI 代理。它以 Elixir 和 Lean 編寫。
AI 代理很多，資源很少
傳統的 AI 代理各自擁有一個沙箱：在 AI 代理工作期間一直開著的容器或 VM。Salix 用一個這樣的沙箱所佔的 CPU 和記憶體，就能執行數百個 AI 代理。
Salix 把每個 AI 代理放到叢集中的某個節點上，並在叢集變化時把 AI 代理移到其他節點。它跨節點在 AI 代理之間傳遞訊息。一個叢集可以有數百個節點。
AI 代理在沙箱之外執行
AI 代理的大部分工作都不需要電腦：閱讀、規劃、寫作，以及呼叫你已連線的 App。Salix 直接在框架裡執行這些工作，而不是放進沙箱。
當 AI 代理需要電腦時，Salix 會為它喚醒一台雲端 VM。VM 會在兩次使用之間保留儲存空間，所以檔案和裝好的工具都留在 AI 代理離開時的位置。工作完成後，VM 可以再次休眠。
以 Elixir 和 Lean 建構
Salix 執行在 Elixir 和 Erlang VM 上。每個 AI 代理都是一個獨立的輕量級處理程序。系統的某個部分出故障時，它會自行重新啟動，其他 AI 代理繼續執行。
AI 代理迴圈的核心以 Lean 編寫。它的控制決策，例如一輪對話接下來做什麼、你的資料允許流向哪裡，都以附帶機器檢查證明的 Lean 程式碼執行。
Loop 執行在 Spinfoam 上，它的 JIT 編譯器經過形式化驗證，產生的程式碼是記憶體安全的。
全天候運作，但不需要始終開著的沙箱
藉助 Loop，AI 代理可以全天候盯著你的資料。Loop 是在叢集上執行的小程式。它只在有事需要處理時才喚醒 AI 代理，所以平靜的一小時不消耗任何模型 token。
你的機器和你的執行環境
你可以把 Linux 或 macOS 機器連線到 Salix，AI 代理就能在上面執行命令、開啟檔案。Comma 正是用這種方式在你的 Mac 上工作。
Salix 有自己的 AI 代理迴圈。AI 代理也可以在你選擇的裝置上使用 外部 AI 代理執行環境，例如 Codex 或 Claude Code。