Tutustu Salixiin, Comman agenttikehykseen
Salix ajaa Comma-agenttiasi ympäri vuorokauden ja kutsuu suurta mallia vain, kun työ sitä vaatii.
Salix työssä
Esimerkki, jota voit klikata läpi. Pyysit Commaa valvomaan #support-kanavaa ja saapuneita viestejäsi bugiraporttien varalta, ja se kirjoitti tätä varten Loopin. Loop herätti Comman asiakkaan bugiraportin takia. Comma aloitti tehtävän, ja sen Worker toisti bugin pilvitietokoneella ja avasi korjauksen katselmoitavaksesi. Ikkunan vieressä editori näyttää kaksi Lean-todistusta Salixin ytimestä.
Salixin sisällä
Loopit valvovat 24/7
Agenttisi kirjoittaa pienen ohjelman, Loopin, joka valvoo saapuneita viestejäsi, repositoriota tai syötettä. Se toimii yötä päivää ja herättää agentin vain, kun jokin vaatii sitä.
Tietoa LoopeistaNopeat päätökset Jevin avulla
Loopit kysyvät nopeilta päätösmalleilta, kuten Jeviltä, tarvitseeko sähköposti tai tapahtuma sinua. Hiljainen tunti ei kuluta suurten mallien tokeneita.
Miten Loopit päättävätRakennettu Elixirillä ja Leanilla
Elixir pitää agenttisi käynnissä, kun osa järjestelmästä vikaantuu. Agenttisilmukan ydin on kirjoitettu Leanilla, ja todistukset osoittavat, että datasi menee vain sinne, minne se on sallittu.
Miten Salix toimiiToimii Macillasi
Salix liittää Macisi, jotta Comma voi avata ja päivittää tiedostojasi siellä. Agentti voi myös ajaa sillä Codexia tai Claude Codea.
Tietoa laitteistaUKK
Mitä Loop voi valvoa, ja miten käynnistän tai pysäytän sen?
Loop voi valvoa yhdistettyä sovellusta, kuten Gmailia, GitHubia tai Slackia, kysellä verkkorajapintaa tai vastaanottaa tapahtumia omaan salaiseen webhook-osoitteeseensa. Pyydä Commaa chatissa seuraamaan jotain, kuten pull requestia tai keskusteluketjua, niin se luo ja käynnistää Loopin. Pyydä sitä keskeyttämään tai poistamaan Loop, kun et enää tarvitse sitä. Agentti voi ajaa enintään 20 Looppia kerrallaan.
Mitä Loop maksaa odottaessaan?
Odottava Loop on pieni ohjelma Salix-klusterissa, ei pilvitietokone. Se ei kutsu mallia eikä sillä ole omaa mittaria, joten se kuluttaa krediittejä vain sen kautta, mitä se kutsuu: kysymykset Jeville kuluttavat krediittejä, vaikka käyttäisit omaa malliavaintasi, ja sen herättämät agentin vuorot laskutetaan kuten mikä tahansa muu vuoro. Se voi herättää agentin enintään kuusi kertaa kymmenen minuutin jaksossa.
Mitä Jev päättää, ja entä jos se on epävarma tai väärässä?
Jev vastaa Loopin esittämiin kysymyksiin, kuten siihen, tarvitseeko uusi sähköposti sinua, eikä se voi lähettää viestejä, muuttaa mitään tai myöntää pääsyä. Kun Comma seuraa puolestasi pull requestia, tikettiä tai keskusteluketjua, sen Loop pysyy hiljaa vain, kun Jev vastaa ”quiet” vähintään 0,9:n varmuudella. Kaikki muu, virheet mukaan lukien, menee agentillesi, jota ohjeistetaan tarkistamaan lähde ennen kuin se kirjoittaa sinulle. Jos Jev vastaa ”quiet” suurella varmuudella mutta väärin, kyseinen päivitys ei tavoita sinua.
Mitä tapahtuu datalle, jonka Loop lukee?
Se pysyy datana: sähköposti tai tapahtuma ei voi muuttaa Loopin koodia eikä lisätä sen kiinteään kyvykkyyslistaan. Saapuva tapahtuma säilytetään vain siihen asti, kun Loop kuittaa sen, ja Loop pitää yhden enintään 16 kt:n tarkistuspisteen. Se, mitä Loop lukee, kulkee eteenpäin vain Loopin omien kutsujen kautta, kuten kysymyksenä Jeville, jota TypeSafe AI ajaa, tai herätysviestinä agentillesi.
Mitä tapahtuu, kun osa Salixista vikaantuu?
Jokainen agentti toimii omana prosessinaan Erlang-virtuaalikoneessa, joten vikaantunut osa käynnistyy uudelleen ja muut agentit jatkavat toimintaansa. Viestit, jotka Salix on hyväksynyt, säilyvät uudelleenkäynnistyksen yli, eikä keskeytynyttä toimintoa, joka muuttaa jotain, ajeta uudelleen itsestään. Loop jatkaa viimeisestä tarkistuspisteestään uudelleenkäynnistyksen tai toiselle solmulle siirtymisen jälkeen, ja jos sen oma ohjelma kaatuu, se käynnistyy uudelleen enintään kolme kertaa tunnissa, minkä jälkeen se pysähtyy ja kertoo asiasta agentillesi.
Mitä Lean-todistukset takaavat, ja mitä eivät?
Agenttisilmukan ydin toimii Lean-koodina, ja kone tarkistaa sen todistukset. Ne osoittavat, että Salixin hyväksymä työ säilyy vikojen ja uudelleenkäynnistysten yli, että epäonnistunutta vastausta ei lasketa valmiiksi ja että jokainen muutoksen tekevä toiminto kirjataan ennen kuin Salix aloittaa sen ja aloitetaan enintään kerran. Todistukset nojaavat ilmoitettuihin oletuksiin ytimen ympärillä olevasta koodista, eivätkä ne todista tallennusta, mallin harkintaa tai sitä, että tehtävä onnistuu.
Mitä Comma voi tehdä Macillani, ja miten perun pääsyn?
Aluksi Comma voi vain lukea tiedostoja yhdistetyllä tietokoneella, myös Macillasi. Jotta se voi muuttaa tiedostoja, ajaa komentoja ja käyttää sinne asennettuja koodausagentteja, ota käyttöön ”Allow operations” kyseiselle tietokoneelle kohdassa ”Settings > Devices”. Voit poistaa sen käytöstä milloin tahansa: käynnissä olevat komennot pysähtyvät, ja Comma voi taas vain lukea.
Mitä koodausagentteja Salix voi ajaa tietokoneellani?
Kun yhdistetylle tietokoneelle on asennettu Codex, Claude Code, Pi tai Kimi ja ”Allow operations” on käytössä, Comma voi antaa työtä niille. Koodausagentti tekee työn kyseisellä tietokoneella, ja Salix pitää keskustelun. Jos tietokone menee offline-tilaan, työ odottaa tai epäonnistuu virheeseen, eikä Salix siirrä sitä itsestään toiselle koneelle.