Salix

Salix

Salix es el harness de agentes de Comma: el runtime distribuido y multiinquilino que ejecuta todos los agentes de Comma. Está escrito en Elixir y Lean.

Muchos agentes, pocos recursos

Un agente tradicional tiene su propio sandbox: un contenedor o una VM que sigue encendido mientras el agente trabaja. Salix ejecuta cientos de agentes con la CPU y la memoria que usa uno de esos sandboxes.

Salix coloca cada agente en un nodo del clúster y mueve agentes entre nodos cuando el clúster cambia. Entrega los mensajes de un agente a otro entre nodos. Un clúster puede tener cientos de nodos.

El agente se ejecuta fuera del sandbox

La mayor parte del trabajo de un agente no necesita una computadora: lee, planifica, escribe y llama a tus apps conectadas. Salix ejecuta ese trabajo en el propio harness, no en un sandbox.

Cuando el agente necesita una computadora, Salix despierta una VM en la nube para él. La VM conserva su almacenamiento entre usos, así que los archivos y las herramientas instaladas siguen donde el agente los dejó. Cuando termina el trabajo, la VM puede volver a dormir.

Hecho con Elixir y Lean

Salix funciona sobre Elixir y la máquina virtual de Erlang. Cada agente es su propio proceso ligero. Cuando una parte del sistema falla, se reinicia, y los demás agentes siguen funcionando.

El núcleo del bucle de agente está escrito en Lean. Sus decisiones de control, como qué pasa a continuación en un turno y adónde pueden ir tus datos, se ejecutan como código Lean con pruebas verificadas por máquina.

Los Loops se ejecutan en Spinfoam, cuyo compilador JIT está verificado formalmente para generar código seguro en memoria.

Siempre activo, sin un sandbox siempre encendido

Un agente puede vigilar tus datos 24/7 con un Loop. Un Loop es un pequeño programa que se ejecuta en el clúster. Solo despierta al agente cuando algo lo necesita, así que una hora tranquila no gasta tokens de modelo.

Tus máquinas y tus runtimes

Puedes conectar una máquina Linux o macOS a Salix, y los agentes ejecutan comandos y abren archivos en ella. Comma usa esto para trabajar en tu Mac.

Salix tiene su propio bucle de agente. Un agente también puede usar un runtime de agente externo, como Codex o Claude Code, en un dispositivo que elijas.

En esta sección

  • Loops: trabajo en segundo plano siempre activo, compilado a eBPF.
  • Dispositivos: conectar tus propias máquinas.
  • Runtimes de agentes: el bucle de agente integrado, Codex y Claude Code.