Mød Salix, Commas agent-harness

Salix kører din Comma-agent døgnet rundt og kalder kun en stor model, når arbejdet kræver det.

Kom i gang GitHub

Salix på arbejde

Et eksempel, du kan klikke dig igennem. Du har bedt Comma holde øje med #support og din indbakke for fejlrapporter, og den har skrevet et Loop til det. Loopet vækkede Comma ved en kundes fejlrapport. Comma startede en opgave, og dens Worker genskabte fejlen på cloud-computeren og åbnede en rettelse til din gennemgang. Ved siden af vinduet viser en editor to af Lean-beviserne i Salix' kerne.

Use ⌘K for search
Hold øje med #support og min indbakke. Sig til, når en kunde melder en fejl.

Jeg har skrevet et Loop til det. Salix kører det hele dagen og spørger Jev om hver ny besked, så jeg kun vågner ved en fejlrapport.

c
for (;;) {
  msg = sf_event_next(60000);
  if (needs_you(decide(msg)))
    notify(msg);
}

Dana har meldt i #support, at eksport af store filer giver timeout. Jeg har startet en opgave for at genskabe fejlen på cloud-computeren.

Har rettet den eksport-timeout, Dana meldte. Pull request #452 er klar til din gennemgang.

Inde i Salix

Loops holder øje døgnet rundt

Din agent skriver et lille program, et Loop, der holder øje med din indbakke, et repository eller et feed. Det kører dag og nat og vækker kun agenten, når noget kræver det.

Om Loops

Hurtige beslutninger med Jev

Loops spørger hurtige beslutningsmodeller som Jev, om en e-mail eller en hændelse kræver dig. En stille time bruger ingen tokens fra store modeller.

Sådan beslutter Loops

Bygget i Elixir og Lean

Elixir holder din agent kørende, når en del af systemet fejler. Kernen i agentløkken er skrevet i Lean med beviser for, at dine data kun går derhen, hvor de må.

Sådan virker Salix

Arbejder på din Mac

Salix tilslutter din Mac, så Comma kan åbne og opdatere dine filer dér. En agent kan også køre Codex eller Claude Code på den.

Om enheder

FAQ

Hvad kan et Loop holde øje med, og hvordan starter eller stopper jeg et?

Et Loop kan holde øje med en forbundet app som Gmail, GitHub eller Slack, polle et web-API eller modtage hændelser på sin egen hemmelige webhook-URL. Bed Comma i chatten om at følge noget, fx en pull request eller en tråd, så opretter og starter den Loopet; bed den sætte Loopet på pause eller slette det, når du ikke længere har brug for det. En agent kan køre op til 20 Loops ad gangen.

Hvad koster et Loop, mens det venter?

Et ventende Loop er et lille program i Salix-klyngen, ikke en cloud-computer. Det kalder ingen model og har ingen måler selv, så det koster kun credits gennem det, det kalder, fx spørgsmål til Jev, som bruger credits, selv hvis du bruger din egen modelnøgle, og de agentture, det vækker, som faktureres som alle andre ture. Det kan højst vække agenten seks gange i hvert timinutters vindue.

Hvad afgør Jev, og hvad hvis den er usikker eller tager fejl?

Jev besvarer de spørgsmål, et Loop stiller, fx om en ny e-mail kræver dig, og den kan ikke sende beskeder, ændre noget eller give adgang. Når Comma følger en pull request, et issue eller en tråd for dig, forholder dens Loop sig kun stille, når Jev svarer »quiet« med en sikkerhed på 0,9 eller mere, og alt andet, også fejl, går til din agent, som får besked på at tjekke kilden, før den skriver til dig. Hvis Jev med stor sikkerhed tager fejl om »quiet«, når den opdatering ikke frem til dig.

Hvad sker der med de data, et Loop læser?

Det forbliver data: en e-mail eller en hændelse kan ikke ændre Loopets kode eller udvide dets faste liste over funktioner. En indgående hændelse gemmes kun, indtil Loopet kvitterer for den, og Loopet gemmer ét checkpoint på højst 16 KB. Det, Loopet læser, kommer kun videre gennem Loopets egne kald, fx et spørgsmål til Jev, som TypeSafe AI driver, eller en vækningsbesked til din agent.

Hvad sker der, når en del af Salix fejler?

Hver agent kører som sin egen proces på Erlang-VM'en, så en del, der fejler, genstarter, og de andre agenter kører videre. Beskeder, som Salix har accepteret, overlever genstarten, og en afbrudt handling, der ændrer noget, køres ikke igen af sig selv. Et Loop fortsætter fra sit seneste checkpoint efter en genstart eller en flytning til en anden node, og hvis dets eget program fejler, genstarter det højst tre gange i timen, hvorefter det stopper og giver din agent besked.

Hvad garanterer Lean-beviserne, og hvad garanterer de ikke?

Kernen i agentløkken kører som Lean-kode, og en maskine tjekker dens beviser. De viser, at arbejde, Salix har accepteret, bevares gennem fejl og genstarter, at et mislykket svar ikke tæller som færdigt, og at hver handling, der ændrer noget, registreres, før Salix starter den, og højst startes én gang. De hviler på angivne antagelser om koden omkring kernen, og de beviser ikke lagring, modellens vurderinger eller at en opgave lykkes.

Hvad kan Comma gøre på min Mac, og hvordan tager jeg adgangen tilbage?

Til at begynde med kan Comma kun læse filer på en forbundet computer, også din Mac. For at lade den ændre filer, køre kommandoer og bruge de kodeagenter, der er installeret dér, skal du slå »Allow operations« til for den computer under »Settings > Devices«. Slå det fra når som helst: kørende kommandoer stopper, og Comma er tilbage til kun at kunne læse.

Hvilke kodeagenter kan Salix køre på min computer?

Når Codex, Claude Code, Pi eller Kimi er installeret på en forbundet computer, og »Allow operations« er slået til, kan Comma give arbejde videre til den. Kodeagenten udfører arbejdet på den computer, og Salix gemmer samtalen. Hvis computeren går offline, venter arbejdet eller fejler med en fejlmeddelelse, og Salix flytter det ikke selv til en anden maskine.

Try Comma, Now.

Kom i gang