Salix

Salix

Salix è l'harness per agenti di Comma: il runtime distribuito e multi-tenant che esegue ogni agente Comma. È scritto in Elixir e Lean.

Tanti agenti, poche risorse

Un agente tradizionale ha la sua sandbox: un container o una VM che resta accesa mentre l'agente lavora. Salix esegue centinaia di agenti con la CPU e la memoria che usa una sola sandbox di questo tipo.

Salix assegna ogni agente a un nodo del cluster e sposta gli agenti tra i nodi quando il cluster cambia. Consegna i messaggi da un agente all'altro anche tra nodi diversi. Un cluster può avere centinaia di nodi.

L'agente gira fuori dalla sandbox

Gran parte del lavoro di un agente non richiede un computer: legge, pianifica, scrive e chiama le tue app collegate. Salix esegue questo lavoro nell'harness stesso, non in una sandbox.

Quando all'agente serve un computer, Salix risveglia per lui una VM cloud. La VM conserva il suo storage tra un utilizzo e l'altro, così file e strumenti installati restano dove l'agente li ha lasciati. Quando il lavoro è finito, la VM può tornare a dormire.

Scritto in Elixir e Lean

Salix gira su Elixir e sulla VM di Erlang. Ogni agente è un processo leggero a sé. Quando una parte del sistema si guasta, si riavvia, e gli altri agenti continuano a funzionare.

Il nucleo del loop dell'agente è scritto in Lean. Le sue decisioni di controllo, come cosa succede dopo in un turno e dove i tuoi dati possono fluire, girano come codice Lean con dimostrazioni verificate da una macchina.

I Loop girano su Spinfoam, il cui compilatore JIT è verificato formalmente per generare codice sicuro per la memoria.

Sempre attivo, senza una sandbox sempre accesa

Un agente può sorvegliare i tuoi dati 24/7 con un Loop. Un Loop è un piccolo programma che gira sul cluster. Sveglia l'agente solo quando serve, quindi un'ora tranquilla non costa token di modello.

Le tue macchine e i tuoi runtime

Puoi collegare una macchina Linux o macOS a Salix, e gli agenti possono eseguirci comandi e aprirci file. Comma lo usa per lavorare sul tuo Mac.

Salix ha il proprio loop dell'agente. Un agente può anche usare un runtime per agenti esterno, come Codex o Claude Code, su un dispositivo a tua scelta.

In questa sezione

• Loop: lavoro in background sempre attivo, compilato in eBPF.
• Dispositivi: collegare le tue macchine.
• Runtime per agenti: il loop dell'agente integrato, Codex e Claude Code.