Salix

Salix

Salix ist das Agent-Harness von Comma: die verteilte, mandantenfähige Laufzeitumgebung, die jeden Comma-Agenten ausführt. Es ist in Elixir und Lean geschrieben.

Viele Agenten, wenig Ressourcen

Ein herkömmlicher Agent bekommt seine eigene Sandbox: einen Container oder eine VM, die läuft, solange der Agent arbeitet. Salix führt Hunderte Agenten mit der CPU und dem Speicher aus, die eine einzige solche Sandbox verbraucht.

Salix platziert jeden Agenten auf einem Knoten im Cluster und verschiebt Agenten zwischen Knoten, wenn sich der Cluster ändert. Es stellt Nachrichten von einem Agenten an einen anderen über Knoten hinweg zu. Ein Cluster kann Hunderte Knoten haben.

Der Agent läuft außerhalb der Sandbox

Für den Großteil seiner Arbeit braucht ein Agent keinen Computer: Er liest, plant, schreibt und ruft deine verbundenen Apps auf. Salix führt diese Arbeit im Harness selbst aus, nicht in einer Sandbox.

Wenn der Agent einen Computer braucht, weckt Salix eine Cloud-VM für ihn. Die VM behält ihren Speicher zwischen den Einsätzen, sodass Dateien und installierte Tools dort bleiben, wo der Agent sie gelassen hat. Ist die Arbeit erledigt, kann die VM wieder schlafen.

Gebaut mit Elixir und Lean

Salix läuft auf Elixir und der Erlang-VM. Jeder Agent ist ein eigener, leichtgewichtiger Prozess. Fällt ein Teil des Systems aus, startet er neu, und die anderen Agenten laufen weiter.

Der Kern der Agent-Schleife ist in Lean geschrieben. Ihre Steuerungsentscheidungen, etwa was als Nächstes in einem Durchgang passiert und wohin deine Daten fließen dürfen, laufen als Lean-Code mit maschinell geprüften Beweisen.

Loops laufen auf Spinfoam, dessen JIT-Compiler formal verifiziert speichersicheren Code erzeugt.

Immer aktiv, ohne dauerhaft laufende Sandbox

Mit einem Loop kann ein Agent deine Daten rund um die Uhr im Blick behalten. Ein Loop ist ein kleines Programm, das auf dem Cluster läuft. Er weckt den Agenten nur, wenn etwas ihn braucht, sodass eine ruhige Stunde keine Modell-Tokens kostet.

Deine Rechner und deine Runtimes

Du kannst einen Linux- oder macOS-Rechner mit Salix verbinden, und Agenten führen darauf Befehle aus und öffnen Dateien. Comma nutzt das, um auf deinem Mac zu arbeiten.

Salix hat seine eigene Agent-Schleife. Ein Agent kann auch eine externe Agent-Runtime wie Codex oder Claude Code nutzen, auf einem Gerät deiner Wahl.

In diesem Abschnitt

• Loops: Hintergrundarbeit rund um die Uhr, kompiliert zu eBPF.
• Geräte: eigene Rechner verbinden.
• Agent-Runtimes: die eingebaute Agent-Schleife, Codex und Claude Code.