Salix

Salix

Salix er Commas agent-harness: den distribuerede multi-tenant-runtime, der kører alle Commas agenter. Den er skrevet i Elixir og Lean.

Mange agenter, få ressourcer

En traditionel agent får sin egen sandkasse: en container eller VM, der kører, så længe agenten arbejder. Salix kører hundredvis af agenter på den CPU og hukommelse, som én sådan sandkasse bruger.

Salix placerer hver agent på en node i klyngen og flytter agenter mellem noder, når klyngen ændrer sig. Den leverer beskeder fra én agent til en anden på tværs af noder. En klynge kan have hundredvis af noder.

Agenten kører uden for sandkassen

Det meste af det arbejde, en agent udfører, kræver ingen computer: den læser, planlægger, skriver og kalder dine forbundne apps. Salix kører det arbejde i selve harnessen, ikke i en sandkasse.

Når agenten har brug for en computer, vækker Salix en cloud-VM til den. VM'en beholder sit lager mellem brugene, så filer og installerede værktøjer ligger, hvor agenten efterlod dem. Når arbejdet er færdigt, kan VM'en sove igen.

Bygget i Elixir og Lean

Salix kører på Elixir og Erlang-VM'en. Hver agent er sin egen letvægtsproces. Når én del af systemet fejler, genstarter den, og de andre agenter kører videre.

Kernen i agentløkken er skrevet i Lean. Dens kontrolbeslutninger, fx hvad der sker som det næste i en tur, og hvor dine data må flyde hen, kører som Lean-kode med maskinkontrollerede beviser.

Loops kører på Spinfoam, hvis JIT-compiler er formelt verificeret til at generere hukommelsessikker kode.

Altid aktiv uden en sandkasse, der altid kører

En agent kan holde øje med dine data døgnet rundt med et Loop. Et Loop er et lille program, der kører i klyngen. Det vækker kun agenten, når noget kræver det, så en stille time koster ingen modeltokens.

Dine maskiner og dine runtimes

Du kan tilslutte en Linux- eller macOS-maskine til Salix, så agenter kan køre kommandoer og åbne filer på den. Comma bruger det til at arbejde på din Mac.

Salix har sin egen agentløkke. En agent kan også bruge en ekstern agent-runtime, fx Codex eller Claude Code, på en enhed, du vælger.

I dette afsnit

• Loops: baggrundsarbejde, der altid kører, kompileret til eBPF.
• Enheder: tilslut dine egne maskiner.
• Agent-runtimes: den indbyggede agentløkke, Codex og Claude Code.