Aura | AI Coding Agent Runtime

AI coding agent runtime for planning, bounded actions, tests, replanning, human steering, and an audit trail around the models your team chooses.

    return Err(SessionExpired);

.dweve/plans/auth-session.md · 64 vrstic

Asistent, iskanje, pomnilnik in dnevnik revizije, združeni v eno binarno datoteko.

Iskanje napak, standardne naloge, preoblikovanje kode in uvajanje, razpršeni po sedmih orodjih.

Seveda. To je tisto, kar bi rad naredil.

Mi lahko pomagate popraviti to majhno napako v moji kodi?

brez neizmerjenih trditev o produktivnosti

prvi test ne uspe, Preverjanje se vrne na Načrt

5 korakov, popravljeno po ponovnem načrtovanju

vsaka drža prikazuje svoj model in svojo odhodno mejo

končno stanje kaže, da je cilj izpolnjen, vsak kriterij je zelen

kartice postanejo eno stanje zanke znotraj Aura

zanka ostaja osrednja, medtem ko jo posestvo obdaja

vozlišča orodja, pravilnika, kakovosti, pomnilnika in revizije se ne premikajo

zahtevki za datoteke preprečujejo, da bi dva agenta urejala isto pot

prevajanje uspe, testi padejo, popravek, testi uspejo, revizija zaključena

preverjanje-revizija preveri verigo ob zaključku

ena navodilo spremeni naslednji klic orodja brez ponastavitve

naslednji klic najprej cilja na neuspešni test

zanka se zadrži pred naslednjim klicem orodja

zadnja kontrolna točka se obnovi na mestu

izbirni ponudniki in orodja ostanejo zunanji, kjer so izbrani

vsaka plast prikazuje konkreten nadzor in njegov rezultat

vgrajena, orodja MCP in razširitvena orodja se združijo na istem vhodu

obseg, dovoljenje, analiza lupine, kontrolna točka, razkuževanje, revizija

en neuspešen test se vrne v zanko, nato uspe

preverljiva revizija, kadar je omogočena

ustavi se, ko je cilj dosežen, ko ga ustaviš ali ko pošteno ne more nadaljevati

Popravi prijavo, dodaj test, razloži ta del. Ni ukazov za pomnjenje.

Pogleda vaše lastne datoteke in zapiske, ne splošnega primera.

Majhen cilj, ki ga lahko preveri, ko je delo končano.

Ko je cilj, ki ste ga zastavili, resnično dosežen.

Točno datoteko in vrstico za svojim načrtom.

Ostane pri tvojem projektu, razen če dovoliš več.

Izbere primerno in preklopi, če ena ni na voljo.

Dolga opravila tečejo, medtem ko nadaljujete.

Dolga opravila tečejo, medtem ko delate.

Zahtevki za datoteke preprečijo tihe prekrivanja.

Kako se je delo prekinilo in nadaljevalo.

Poznejši pregledi razkrijejo vsako urejanje.

pogovor se razširi v zanko, ki nenehno dela proti cilju

naj pogledam, spremenim in preverim, ali drži

vidno dejanje pozabi ga odstrani, kadar koli želite

v tem projektu uporabljajte zavihke, ne presledkov

pomočnik na vašem računalniku ohranja razmišljanje pri vas, oblačni pomočnik prejme, kar pošljete

zahtevki za datoteke pomenijo, da dve seji ne urejata iste poti tiho

dostop ostane znotraj projekta, razen če dovolite več

vsaka zahteva postane majhna kartica cilja, ne odgovor v klepetu

Vsaka zahteva postane cilj, ki ga Aura lahko preveri

vsak korak prikazuje napredek in načrt se lahko spremeni

kaže na točno tiste datoteke, ki so oblikovale načrt

verigo revizije je mogoče pozneje preveriti za odkrivanje sprememb

prikazuje natančno, kaj se je spremenilo

kontekst ostane topel, zato projekta ni treba znova razlagati

kontrolne točke se zajamejo pred podprtimi urejanji datotek

vaše datoteke, spremembe, preverjanja in zapisi ostanejo na enem mestu

Zaporedje, povezano z zgoščevalno vrednostjo

oznaka meje ponudnika prikazuje, kje se skrivajo notranje podrobnosti

usmerjevalnik izbere najcenejši konfigurirani model, ki ustreza potrebi po zmogljivosti

žetoni, operatorji, narekovaji in ubežni znaki se ovrednotijo pred izvedbo

profil uvajanja izbere nabor brez spreminjanja pogodbe zanke

Venčni listi se razlikujejo, pogodba zanke ostaja.

kontrolne točke razveljavijo v živo, delovna drevesa izolirajo, Git je trajna zgodovina

vnos v predpomnilniku se razveljavi, ko popravek spremeni njegove datoteke

izmerjene številke velikosti in števila virov spadajo v ponovno potrjeno gradbeno kartico

aktivna razlika prikazuje, katera plast je prispevala posamezno efektivno vrednost

delovni niz ostane omejen, namesto da bi neomejeno rastel

dogodek vstopi v vodilo in se razpošlje po imenu tipa

drevo se razpre v učinkovito definicijo agenta in DAG poteka dela

deterministicna steza tece prva, modelska steza le po potrebi

modelska steza tece le, ko deterministicna steza ne more odlociti

ena ponovljena sekvenca grepa sproži korektivni namig

grep ste zagnali petkrat, poskusite prebrati datoteko

sporočilo za usmerjanje med dvema dejanjema spremeni drugo

Cilj za dokončanje ali preoblikovanje načrta

aktivno stanje prebere test neuspešen, preoblikovanje 2, cilj 3 od 4

vedenje oddaljenega strežnika ostaja zunanja meja

deterministična relevantnost in BitRank preko omejenega indeksa, FTS5 povratna možnost

dva agenta tekmujeta za eno datoteko in ena zahteva je odložena

rezultat orodja razveljavi načrt, ne da bi zavrgel cilj

Cilj ostaja, medtem ko se načrt spreminja.

model nikoli ne prejme surove zunanje vsebine

pot izven obsega se usmeri v odobritev, ne pa tiho razširi

oba uporabljata isto politiko cilja in kakovosti ter ustvarjata primerljive dogodke

En binarni paket, moduli povezani v skupine

moduli so ločeni s tipiziranimi pogodbami, ne s skupnim spremenljivim stanjem

Moduli se srečajo le na tipiziranem vodilu.

čakajoči korak se zamenja in revizija zabeleži dogodek

popravljalni klic in klic MCP vsakič zaženeta celotno cevovod

izberite klic, da vidite, katere stopnje delujejo

Pomoč pri kodiranju in operaterska pomoč. Metrike v demu so ilustrativne.

Terminal, iskanje, lint, testi, git in več.

Zapomni si vašo bazo kode in kontekst ekipe.

Specializirani agenti sodelujejo pri različnih zadevah.

Vsak korak je zabeležen s časovnimi žigi.

Pravilniki, preverjanja in testi se vedno izvajajo.

Preglejte razlike, zahtevajte spremembe, končna potrditev.

Ponovite katero koli sejo bit za bitom, ko je treba nekaj pregledati.

Preberi retry.ts, izsledil napako pri časovni omejitvi

Avtonomni agenti, ki pišejo kodo in hranijo dokaze

za obravnavo omrežnih časovnih omejitev, odzivov 5xx in pogojev, varnih za idempotentnost. Čista pomožna funkcija, v celoti enotno testirana.

Skupine algoritmov glede na vrsto podatkov

Aura se dobavi kot en sam statični binarni paket brez odvisnosti ob izvajanju. Podpora za podjetja, razvoj po meri in usposabljanje so na voljo pri Dweve.

# razrešeno ob izvajanju; AURA_MODEL preglasi projekt

združeno, vroče nalaganje ob shranjevanju

PRIVZETE VREDNOSTI PROTI VAŠIM PREGLASITVAM

Vse, kar lahko nastavite v TOML, modelu, ravneh dovoljenj po orodju, poti dnevnika revizije, imenovanem profilu, lahko pripnete po projektu, preglasite po napravi ali spremenite po okoljski spremenljivki. Ko se dotaknete katere koli od teh datotek, agent jih spremlja in znova zgradi sistemski poziv brez ponovnega zagona seje. Brez ponovnega zagona, brez izgubljenega konteksta.

Aura razrešuje konfiguracijo v štirih plasteh: vgrajene privzete vrednosti, uporabniška `~/.dweve/config.toml`, projektna `.aura/config.toml` in katera koli okoljska spremenljivka `AURA_*`. Združijo se po ključu, pri čemer vsaka plast preglasi tisto pod njo; okoljske spremenljivke so na vrhu, tako da lahko en sam izvoz spremeni Auraovo vedenje za eno CI opravilo, eno vejo, eno predstavitev.

Berete razlike glede na specifikacijo projekta…

API lastnosti Rust, orodja, poševnica, dogodki

Seznam ali preklop agentov, projekt / uporabnik / vgrajeni

Agenti, veščine, vtičniki in poteki dela so markdown + YAML na disku. Z Auro je dobavljenih šest vgrajenih agentov; plasti projekta, uporabnika in globalne se združijo ob zagonu. Uredite datoteko, agent znova zgradi svoj poziv brez ponovnega zagona.

lint prehod, opozorila je mogoče povišati

vrata, hitro odpovej in popravi na mestu

`/quality` zaporedno izvede fmt, clippy, prevajanje, teste, teste dokumentacije in varnostni pregled. Napake vključujejo sledi sklada in kontekst razlik. Opozorila privzeto ne blokirajo; lahko jih povišate v vrata za posamezen projekt.

Stdio JSON-RPC 2.0, upravljan podproces, enaka raven dovoljenj in revizijski cevovod kot vgrajeni.

zastavice zmogljivosti, dogovorjene na strežnik

Strežniki MCP so deklarirani v konfiguraciji Aure: ukaz, argumenti, okolje. Ob zagonu seje jih Aura zažene kot upravljane podprocese, izvede rokovanje tipiziranih zmogljivosti iz `dweve-protocol::mcp::capability` in registrira odkrito površino v istem registru orodij, kjer so vgrajeni. Viri, orodja, pozivi, vzorčenje in zmogljivosti beleženja tečejo skozi isto tipizirano vodilo sporočil iz `dweve-protocol::mcp::message`. Zunanja orodja niso privzeto zaupanja vredna; podedujejo ravni dovoljenj na orodje, revizijsko beleženje, filtriranje PII in zaščito z odklopnikom.

Aurin odjemalec MCP je zgrajen na `dweve-protocol::mcp`, tipizirani površini sporočil, zmogljivosti, prevoza in orodij MCP, ki jo uporablja tudi preostali Dweve. Povežite se s poljubnim strežnikom MCP prek stdio JSON-RPC 2.0, se dogovorite o zmogljivostih in prikažite njegova orodja / pozive / vire skupaj z Aurinimi vgrajenimi. Ista vrata dovoljenj, ista revizijska sled, isti odklopnik.

Agenti si delijo tablo nalog, izmenjujejo sporočila prek vodila dogodkov in uveljavljajo vrata kakovosti. Medagentski delovni dnevnik sledi zahtevkom na ravni datotek, da prepreči konflikte.