Møt Salix, agentharnessen til Comma

Salix kjører Comma-agenten din døgnet rundt, og kaller en stor modell bare når arbeidet trenger det.

Kom i gang GitHub

Salix i arbeid

Et eksempel du kan klikke deg gjennom. Du ba Comma følge med på #support og innboksen din etter feilrapporter, og den skrev en Loop for det. Loopen vekket Comma for en feilrapport fra en kunde. Comma startet en oppgave, og Workeren til oppgaven gjenskapte feilen på skydatamaskinen og åpnet en rettelse til din gjennomgang. Ved siden av vinduet viser en editor to av Lean-bevisene i kjernen til Salix.

Use ⌘K for search
Følg med på #support og innboksen min. Si fra når en kunde melder en feil.

Jeg skrev en Loop for dette. Salix kjører den hele dagen og spør Jev om hver ny melding, så jeg våkner bare for en feilrapport.

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

Dana meldte i #support at eksporter får tidsavbrudd på store filer. Jeg startet en oppgave for å gjenskape feilen på skydatamaskinen.

Fikset tidsavbruddet ved eksport som Dana meldte. Pull request #452 er klar for din gjennomgang.

Inne i Salix

Loops holder vakt, 24/7

Agenten din skriver et lite program, en Loop, som følger med på innboksen din, et repo eller en feed. Den kjører dag og natt, og vekker agenten bare når noe trenger den.

Om Loops

Raske avgjørelser med Jev

Loops spør raske beslutningsmodeller som Jev om en e-post eller en hendelse trenger deg. En stille time bruker ingen tokens fra store modeller.

Slik avgjør Loops

Bygget i Elixir og Lean

Elixir holder agenten din i gang når en del av systemet svikter. Kjernen i agentløkken er skrevet i Lean, med bevis for at dataene dine bare går dit de har lov til.

Slik fungerer Salix

Jobber på Mac-en din

Salix kobler til Mac-en din, så Comma kan åpne og oppdatere filene dine der. En agent kan også kjøre Codex eller Claude Code på den.

Om enheter

Vanlige spørsmål

Hva kan en Loop følge med på, og hvordan starter eller stopper jeg en?

En Loop kan følge med på en tilkoblet app som Gmail, GitHub eller Slack, polle et nett-API eller ta imot hendelser på sin egen hemmelige webhook-URL. Be Comma i chatten om å følge noe, for eksempel en pull request eller en tråd, så setter den opp og starter Loopen. Be den sette Loopen på pause eller slette den når du ikke trenger den lenger. En agent kan kjøre opptil 20 Loops samtidig.

Hva koster en Loop mens den venter?

En Loop som venter, er et lite program på Salix-klyngen, ikke en skydatamaskin. Den kaller ingen modell og har ingen egen måler, så den koster bare kreditter gjennom det den kaller: spørsmål til Jev, som bruker kreditter selv om du bruker din egen modellnøkkel, og agentturene den vekker, som faktureres som alle andre turer. Den kan vekke agenten høyst seks ganger i løpet av ti minutter.

Hva avgjør Jev, og hva skjer hvis den er usikker eller tar feil?

Jev svarer på spørsmålene en Loop stiller, for eksempel om en ny e-post trenger deg, og kan ikke sende meldinger, endre noe eller gi tilgang. Når Comma følger en pull request, en sak eller en tråd for deg, holder Loopen seg stille bare når Jev svarer «quiet» med en sikkerhet på 0,9 eller mer. Alt annet, også feil, går til agenten din, som er bedt om å sjekke kilden før den skriver til deg. Hvis Jev svarer «quiet» med stor sikkerhet og tar feil, når ikke den oppdateringen deg.

Hva skjer med dataene en Loop leser?

De forblir data: en e-post eller en hendelse kan ikke endre koden til Loopen eller utvide den faste listen over funksjoner. En innkommende hendelse lagres bare til Loopen bekrefter den, og Loopen beholder ett sjekkpunkt på høyst 16 KB. Det den leser, går bare videre gjennom Loopens egne kall, for eksempel et spørsmål til Jev, som TypeSafe AI drifter, eller en vekkemelding til agenten din.

Hva skjer når en del av Salix svikter?

Hver agent kjører som sin egen prosess på Erlang-VM-en, så en del som feiler, starter på nytt mens de andre agentene kjører videre. Meldinger som Salix har tatt imot, overlever omstarten, og en avbrutt handling som endrer noe, kjøres ikke på nytt av seg selv. En Loop fortsetter fra sitt siste sjekkpunkt etter en omstart eller en flytting til en annen node, og hvis selve programmet feiler, starter den på nytt høyst tre ganger i timen, før den stopper og sier fra til agenten din.

Hva garanterer Lean-bevisene, og hva garanterer de ikke?

Kjernen i agentløkken kjører som Lean-kode, og en maskin kontrollerer bevisene. De viser at arbeid Salix har tatt imot, blir tatt vare på gjennom feil og omstarter, at et mislykket svar ikke regnes som ferdig, og at hver handling som endrer noe, registreres før Salix starter den, og startes høyst én gang. Bevisene hviler på uttalte antakelser om koden rundt kjernen, og de beviser ikke lagring, modellens vurderinger eller at en oppgave lykkes.

Hva kan Comma gjøre på Mac-en min, og hvordan trekker jeg tilgangen tilbake?

Til å begynne med kan Comma bare lese filer på en tilkoblet datamaskin, også Mac-en din. For å la Comma endre filer, kjøre kommandoer og bruke kodeagentene som er installert der, slår du på «Allow operations» for den datamaskinen under «Settings > Devices». Du kan slå det av når som helst: kommandoer som kjører, stoppes, og Comma kan igjen bare lese.

Hvilke kodeagenter kan Salix kjøre på datamaskinen min?

Når Codex, Claude Code, Pi eller Kimi er installert på en tilkoblet datamaskin og «Allow operations» er på, kan Comma gi arbeid til den. Kodeagenten gjør jobben på den datamaskinen, og Salix tar vare på samtalen. Hvis datamaskinen går offline, venter arbeidet eller feiler med en feilmelding, og Salix flytter det ikke til en annen maskin av seg selv.

Try Comma, Now.

Kom i gang