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 eilutės

Asistentas, paieška, atmintis ir audito žurnalas, sudėti į vieną dvejetainį failą.

Klaidų medžioklė, šabloninis kodas, refaktoriai ir įtraukimas į komandą išsklaidyti per septynias priemones.

Niekas nesikeičia, kol jūs to nepasakote

Ar galite padėti man ištaisyti šią mažą klaidą mano kode?

pirmasis testas nepavyksta, Patikrinimas grįžta į Planą

antrasis pataisymas praeina, tikslas uždaromas

kiekvienas mazgas atidaro savo artefaktą

5 žingsniai, pakoreguoti po perplanavimo

šioje eigoje nėra operatoriaus pranešimo

kiekvienas režimas rodo savo modelį ir išorinę ribą

galutinė būsena rodo, kad tikslas įvykdytas, kiekvienas kriterijus žalias

kortelės tampa viena ciklo būsena Aura viduje

> aura tikslas taisymas:sesijos-galiojimas

įrankio, politikos, kokybės, atminties ir audito mazgai nejuda

failų užklausos neleidžia dviem agentams redaguoti to paties kelio

kompiliacija praeina, testai nepavyksta, taisoma, testai praeina, auditas baigiamas

patvirtinimo auditas tikrina grandinę pabaigoje

viena instrukcija pakeičia kitą įrankio iškvietimą be atstatymo

pataisos iškvietimas vyksta kaip planuota

kitas iškvietimas pirmiausia nukreipiamas į nepavykusį testą

ciklas sustoja prieš kitą įrankio iškvietimą

paskutinis kontrolinis taškas atkuriamas vietoje

neprivalomi teikėjai ir įrankiai lieka išoriniai ten, kur pasirinkta

kiekvienas sluoksnis rodo konkretų valdiklį ir jo rezultatą

įtaisytieji, MCP ir plėtinio įrankiai susijungia tame pačiame įėjimo taške

apimtis, leidimai, apvalkalo analizė, kontrolinis taškas, sanitarija, auditas

vienas nepavykęs testas grįžta į ciklą, tada praeina

jis sustoja, kai tikslas pasiekiamas, kai jį sustoji, arba kai negali sąžiningai tęsti

Pataisyk prisijungimą, pridėk testą, paaiškink šią dalį. Nereikia įsiminti komandų.

Ji žiūri į jūsų failus ir užrašus, ne į bendrą pavyzdį.

Mažas tikslas, kurį ji gali patikrinti, kai darbas baigtas.

Kai tikslas, kurį nustatėte, tikrai pasiektas.

Nuo vienos dalies iki dalių, kurias ji liečia.

Tikslų failą ir eilutę, kuriais remiasi jos planas.

Redagavimai ir komandos laukia jūsų „taip“.

Jis lieka jūsų projekte, nebent leidžiate daugiau.

Pataisymai, kuriuos padarėte vieną kartą

Ji parenka tinkamą ir pereina prie kito, jei vienas nepasiekiamas.

Laikykite atidarytą daugiau nei vieną darbą.

Vienas specialistas perduoda darbą kitam.

Failų užfiksavimas užkerta kelią tyliems persidengimams.

Kaip darbas buvo pristabdytas ir tęsiamas.

Vėlesni patikrinimai atskleidžia bet kokį pakeitimą.

pokalbis išsiplečia į kilpą, kuri toliau dirba siekdama tikslo

leiskite man pažiūrėti, pakeisti, tada patikrinti, ar ji išlieka

matomas pamiršimo veiksmas pašalina ją, kai tik norite

šiame projekte naudokite tabuliacijas, o ne tarpus

pagalbininkas jūsų kompiuteryje laiko mąstymą su jumis, debesijos pagalbininkas gauna tai, ką siunčiate

failų pretenzijos reiškia, kad dvi sesijos tyliai neredaguoja to paties kelio

prieiga lieka projekto viduje, nebent leidžiate daugiau

kiekvienas prašymas tampa maža tikslo kortele, o ne pokalbio atsakymu

Kiekviena užklausa tampa tikslu, kurį Aura gali patikrinti

Paleidžia jas, kad įsitikintų, jog jos praeina

kiekvienas žingsnis rodo eigą, o planas gali keistis

ji nurodo tiksliai tuos failus, kurie suformavo planą

audito grandinę vėliau galima patikrinti, siekiant aptikti pakeitimus

kontekstas išlieka šiltas, todėl nereikia iš naujo aiškinti projekto

patikros taškai užfiksuojami prieš palaikomų failų pakeitimus

Viena erdvė, kurioje pagrindinis dėmesys skiriamas klaviatūrai

jūsų failai, pakeitimai, patikros ir įrašai lieka vienoje vietoje

a provider-boundary marker shows where hidden internals stop

aukščiau esantis pasirinktinis maršrutizatorius

maršrutizatorius parenka pigiausią sukonfigūruotą modelį, kuris atitinka galimybių poreikį

tikras vamzdis į apvalkalą yra sustabdytas

žetonai, operatoriai, kabutės ir išėjimo simboliai įvertinami prieš vykdymą

Struktūra nusprendžia, ne eilučių sąrašas.

Pagrindinė kilpa, pasirenkami žiedlapiai

diegimo profilis pasirenka rinkinį nekeisdamas kilpos sutarties

Žiedlapiai skiriasi, kilpos sutartis galioja.

kontroliniai taškai atšaukia veiksmus tiesiogiai, darbo medžiai izoliuoja, Git yra patvari istorija

talpyklos įrašas nustoja galioti po to, kai pataisa paliečia jo failus

išmatuoti dydžio ir šaltinio skaičiai turi būti pakartotinai patvirtintoje kūrimo kortelėje

tiesioginis skirtumas rodo, kuris sluoksnis pateikė kiekvieną efektyvią reikšmę

darbinis rinkinys išlieka ribotas, o ne auga be ribų

įvykis patenka į magistralę ir išsišakoja pagal tipo pavadinimą

medis atsiveria į efektyvų agento apibrėžimą ir darbo eigos DAG

karšto perkrovimo atnaujinimas paleidžia eigą

deterministinė juosta veikia pirmiausia, modelio juosta tik tada, kai reikia

modelio juosta veikia tik tada, kai deterministinė juosta negali nuspręsti

Modelio juosta veikia tik tada, kai reikia.

viena pakartota grep seka sukelia korekcinį užuominą

jūs paleidote grep penkis kartus, pabandykite perskaityti failą

valdymo pranešimas tarp dviejų veiksmų pakeičia antrąjį

aktyvi būsena rodo, kad testas nepavyko, planuoti iš naujo 2, tikslas 3 iš 4

nuotolinio serverio elgsena lieka išorine riba

deterministinis aktualumas ir BitRank per ribotą indeksą, FTS5 atsarginė parinktis

du agentai varžosi dėl vieno failo ir vienas užsakymas atidedamas

įrankio rezultatas panaikina planą, neatmetant tikslo

Neapdorota išvestis į aptvertą kontekstą

modelis niekada negauna neapdoroto išorinio turinio

kelias, nepatenkantis į apimtį, nukreipiamas patvirtinimui, o ne tyliai išplečiamas

abi iškviečia tą patį tikslą ir kokybės politiką bei sukuria palyginamus įvykius

Vienas dvejetainis failas, sugrupuoti moduliai

moduliai atskirti tipizuotais kontraktais, ne bendra keičiama būsena

Moduliai susitinka tik prie tipizuotos magistralės.

laukiamas žingsnis pakeičiamas ir auditas užfiksuoja įvykį

pataisos skambutis ir MCP skambutis kiekvieną kartą paleidžia visą grandinę

pasirinkite skambutį, kad pamatytumėte, kurie etapai veikia

kiekvienas skydelis susietas su ciklo atsakomybe

Kodavimo agentas ir operatoriaus pagalba. Demonstraciniai rodikliai yra iliustratyvūs.

Terminalas, paieška, lint, testai, git ir kt.

Prisimena jūsų kodų bazę ir komandos kontekstą.

Specializuoti agentai bendradarbiauja įvairiose srityse.

Kiekvienas veiksmas įrašomas su laiko žymomis.

Politikos, patikros ir testai visada vykdomi.

Peržiūrėkite pakeitimus, prašykite pakeitimų, galutinis patvirtinimas.

Atkurkite bet kurią sesiją bitas po bito, kai reikia peržiūros.

Autonominiai agentai, kurie rašo kodą ir saugo įrašus

kad būtų tvarkomi tinklo laiko limitai, 5xx atsakymai ir idempotentiškai saugios sąlygos. Gryna pagalbinė funkcija, visiškai padengta testais.

Aura platinama kaip vienas statinis dvejetainis failas be jokių priklausomybių vykdymo metu. Įmonės lygio palaikymą, individualų kūrimą ir mokymus teikia Dweve.

# išsprendžiama vykdymo metu; AURA_MODEL perrašo projektą

Saugiai paleidžiama neliesdamas jokio failo.

Kiekvienam projektui, kiekvienai mašinai, kiekvienai aplinkai

NUMATYTIEJI NUSTATYMAI IR JŪSŲ PERRAŠYMAI

Viską, ką galite nustatyti TOML, modelį, įrankių leidimų lygius pagal įrankį, audito žurnalo kelią, pavadintą profilį, galite priskirti projektui, perrašyti mašinai arba pakeisti aplinkos kintamuoju. Palieskite bet kurį iš tų failų, agentas juos stebi ir atkuria savo sistemos raginimą be sesijos perkrovimo. Jokio paleidimo iš naujo, jokio prarasto konteksto.

Aura konfigūraciją išsprendžia per keturis sluoksnius: įtaistuosius numatytuosius nustatymus, jūsų vartotojo lygio `~/.dweve/config.toml`, projekto `.aura/config.toml` ir bet kurį `AURA_*` aplinkos kintamąjį. Jie sujungiami pagal raktą, kiekvienam sluoksniui perrašant žemiau esantį; aplinkos kintamieji yra viršuje, todėl vienas eksportas gali pakeisti Aura elgesį vienam CI darbui, vienai šakai, vienai demonstracijai.

Skaitykite skirtumus pagal projekto specifikaciją…

vaidmuo: "kodo peržiūra, prieš įsipareigojimą"

Karštas perkrovimas, CLAUDE.md / .aura/*

Rust bruožų API, įrankiai, pasvirasis brūkšnys, įvykiai

Vykdyti DAG: derinimas, funkcija, peržiūra

Rodyti arba perjungti agentus, projektas / vartotojas / įtaisytasis

Agentai, įgūdžiai, papildiniai ir darbo srautai yra markdown + YAML diske. Su Aura platinami šeši įtaisytieji agentai; projekto, vartotojo ir visuotiniai lygiai sujungiami paleidžiant. Redaguokite failą, agentas atkuria savo raginimą be perkrovimo.

vienetiniai + integraciniai + dokumentacijos

`/quality` paleidžia fmt, clippy, kompiliavimą, testus, dokumentacijos testus ir saugumo auditą iš eilės. Gedimai apima krūvos pėdsakus ir diff kontekstą. Įspėjimai pagal nutylėjimą neblokuoja; galite juos paaukštinti į vartus kiekvienam projektui.

Stdio JSON-RPC 2.0, valdomas paprocesis, ta pati leidimų ir audito vamzdynas kaip įtaisytųjų.

daugkartinio naudojimo raginimo šablonai

funkcijų vėliavos, derinamos kiekvienam serveriui

MCP serveriai deklaruojami Aura konfigūracijoje: komanda, argumentai, aplinka. Sesijos pradžioje Aura juos paleidžia kaip valdomus paprocesius, vykdo tipizuotą funkcijų paspaudimą iš `dweve-protocol::mcp::capability` ir registruoja aptiktą paviršių tame pačiame įrankių registre, kuriame yra įtaisytieji. Ištekliai, įrankiai, raginimai, atrankos ir registravimo funkcijos visi teka per tą pačią tipizuotą pranešimų magistralę iš `dweve-protocol::mcp::message`. Išoriniai įrankiai nėra patikimi pagal nutylėjimą, jie paveldi kiekvieno įrankio leidimų lygius, audito registravimą, PII filtravimą ir grandinės pertraukiklio apsaugą.