Aura | AI Coding Agent Runtime

    return Err(SessionExpired);

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

Asistents, meklēšana, atmiņa un audita žurnāls, kas apvienoti vienā binārajā failā.

Kļūdu meklēšana, veidņu kods, pārveidošana un ievadīšana, kas izkliedēti pa septiņiem rīkiem.

Nekas nemainās, kamēr jūs to neapstiprināt

Vai varat man palīdzēt izlabot šo mazo kļūdu manā kodā?

bez nemērītiem produktivitātes apgalvojumiem

pirmais tests neizdodas, Pārbaude atgriežas pie Plāna

otrais labojums izdodas, mērķis tiek slēgts

aizvērt sesiju, kad tokenam beidzas derīgums

katra pozīcija parāda savu modeli un savu ārējo robežu

galīgais stāvoklis liecina, ka mērķis ir sasniegts, katrs kritērijs ir zaļš

kartītes kļūst par vienu cilpas stāvokli Aura iekšienē

cilpa paliek centrālā, kamēr īpašums to ieskauj

> aura mērķa labojums:sesijas derīguma termiņš

rīku, politikas, kvalitātes, atmiņas un audita mezgli nepārvietojas

failu pieprasījumi neļauj diviem aģentiem rediģēt vienu un to pašu ceļu

kompilācija izdodas, testi neizdodas, labo, testi izdodas, audits pabeigts

verifikācijas audits pārbauda ķēdi pabeigšanas brīdī

viena instrukcija maina nākamo rīka izsaukumu bez atiestatīšanas

nākamais izsaukums vispirms mērķē uz neveiksmīgo testu

pēdējais kontrolpunkts tiek atjaunots vietā

neobligātie pakalpojumu sniedzēji un rīki paliek ārēji, ja tie ir atlasīti

katrs slānis parāda konkrētu vadību un tās rezultātu

iebūvētie, MCP un paplašinājuma rīki pievienojas vienā ieejas punktā

tvērums, atļauja, čaulas analīze, kontrolpunkts, sanitizācija, audits

viens neizdevies tests atgriežas ciklā, pēc tam iziet

tas apstājas, kad mērķis ir sasniegts, kad jūs to apturat vai kad tas godīgi nevar turpināt

Izlabo pieteikšanos, pievieno testu, izskaidro šo daļu. Nav komandu, kas jāiegaumē.

Tā skatās tavus paša failus un piezīmes, nevis vispārīgu piemēru.

Mazs mērķis, ko tā var pārbaudīt, kad darbs ir pabeigts.

Kad tavs izvirzītais mērķis patiešām ir sasniegts.

No vienas daļas uz daļām, kurām tā pieskaras.

Tas paliek jūsu projektā, kamēr vien neļaujat vairāk.

Tā izvēlas piemērotu un atkāpjas, ja kāds nav pieejams.

Gari darbi darbojas, kamēr jūs turpināt.

Gari uzdevumi darbojas, kamēr jūs strādājat.

Failu pretenzijas aptur klusas pārklāšanās.

Vēlākas pārbaudes atklāj jebkuru labojumu.

saruna izvēršas lokā, kas turpina strādāt mērķa virzienā

ļaujiet man paskatīties, mainīt to un tad pārbaudīt, vai tas noturas

redzama aizmirstības darbība to noņem, kad vien vēlaties

šajā projektā izmantojiet tabulācijas, nevis atstarpes

palīgs jūsu datorā saglabā domāšanu pie jums, mākoņa palīgs saņem to, ko nosūtāt

failu pieprasījumi nozīmē, ka divas sesijas klusībā nerediģē vienu un to pašu ceļu

piekļuve paliek projekta ietvaros, ja vien neatļaujat vairāk

katrs pieprasījums kļūst par nelielu mērķa kartīti, nevis tērzēšanas atbildi

Katrs pieprasījums kļūst par mērķi, ko Aura var pārbaudīt

Izpilda tās, lai pārliecinātos, ka tās iztur

katrs solis parāda progresu, un plāns var mainīties

tas norāda uz precīziem failiem, kas veidoja plānu

audita ķēdi vēlāk var pārbaudīt, lai atklātu izmaiņas

konteksts paliek silts, tāpēc jums nav jāpaskaidro projekts no jauna

atskaņu punkti tiek saglabāti pirms atbalstīto failu rediģēšanas

Viena telpa, kurā viss notiek ar tastatūru

jūsu faili, izmaiņas, pārbaudes un ieraksts paliek vienā vietā

piegādātāja robežas marķieris norāda, kur beidzas slēptā iekšējā daļa

maršrutētājs izvēlas lētāko konfigurēto modeli, kas atbilst spēju prasībām

Viens interfeiss aiz četriem adapteriem.

tokens, operatori, citēšana un atstarpju apstrāde tiek novērtēti pirms izpildes

Struktūra izšķir, nevis virkņu saraksts.

izvietošanas profils izvēlas kopu, nemainot cilpas līgumu

Ziedlapiņas mainās, cilpas līgums paliek spēkā.

kontrolpunkti atceļ tiešraidē, darba koki izolē, Git ir noturīga vēsture

kešatmiņas ieraksts tiek anulēts pēc tam, kad ielāps skar tā failus

izmērītie izmēra un avota skaita rādītāji pieder atkārtoti validētai būvējuma kartei

dzīvs diff parāda, kurš slānis nodrošināja katru efektīvo vērtību

darba kopa paliek ierobežota, nevis aug bezgalīgi

notikums ieiet kopnē un izplatās pēc tipa nosaukuma

koks atveras efektīvā aģenta definīcijā un darbplūsmas DAG

deterministiskā josla darbojas vispirms, modeļa josla tikai tad, kad nepieciešams

modeļa josla darbojas tikai tad, kad deterministiskā josla nevar izlemt

Modeļa josla darbojas tikai tad, kad nepieciešams.

one repeated grep sequence triggers a corrective hint

you have run grep five times, try reading the file

vadības ziņojums starp divām darbībām maina otro

aktīvais stāvoklis nolasa testa neveiksmi, pārplānot 2, mērķis 3 no 4

attālā servera darbība paliek ārēja robeža

deterministiska atbilstība un BitRank ierobežotā indeksā, FTS5 rezerves variants

divi aģenti sacenšas par vienu failu, un viena prasība tiek atlikta

rīka rezultāts anulē plānu, neatmetot mērķi

sesijas derīguma termiņa beigas apstrādātas

Mērķis saglabājas, kamēr plāns tiek pārskatīts.

modelis nekad nesaņem neapstrādātu ārējo saturu

ārpus darbības jomas esošais ceļš tiek novirzīts uz apstiprināšanu, nevis klusi paplašināts

abi izmanto vienu un to pašu mērķa un kvalitātes politiku un ģenerē salīdzināmus notikumus

Neizturēti vārti atgriežas kā stāvoklis.

moduļi ir atdalīti ar tipizētiem līgumiem, nevis kopīgu mainīgu stāvokli

Moduļi satiekas tikai pie tipizētās kopnes.

gaidošais solis tiek aizvietots un audits reģistrē notikumu

labojumu zvans un MCP zvans katrs izpilda pilnu cauruļvadu

atlasiet zvanu, lai redzētu, kuri posmi darbojas

Kodēšanas aģents un operatora palīgs. Demonstrācijas rādītāji ir ilustratīvi.

Terminālis, meklēšana, lint, testi, git un vairāk.

Atceras jūsu koda bāzi un komandas kontekstu.

Specializēti aģenti sadarbojas dažādās jomās.

Katrs solis tiek ierakstīts ar laika zīmogiem.

Politikas, pārbaudes un testi vienmēr tiek izpildīti.

Pārskatiet diff, pieprasiet izmaiņas, galīgais apstiprinājums.

Atkārtojiet jebkuru sesiju bitu pa bitam, kad nepieciešams pārskats.

Autonomi aģenti, kas raksta kodu un saglabā pierādījumus

lai apstrādātu tīkla taimautus, 5xx atbildes un idempotentus drošus nosacījumus. Tīrs palīgs, pilnībā vienību testēts.

Aura tiek piegādāta kā viens statisks binārais fails bez izpildlaika atkarībām. Uzņēmuma atbalsts, pielāgota izstrāde un apmācība pieejama no Dweve.

# atrisināts izpildes laikā; AURA_MODEL ignorē projektu

Droši startē, nepieskaroties nevienam failam.

Katram projektam, katram datoram, katrai videi

Visu, ko var iestatīt TOML, modelī, rīka atļauju līmeņos, audita žurnāla ceļā, nosauktajā profilā, var piespraust katram projektam, pārspēlēt katram datoram vai mainīt ar vides mainīgo. Pieskarieties jebkuram no šiem failiem, aģents tos uzrauga un pārbūvē savu sistēmas uzvedni, nepārtraucot sesiju. Bez pārstartēšanas, bez konteksta zuduma.

Aura atrisina konfigurāciju četros slāņos: iebūvētie noklusējumi, jūsu lietotāja līmeņa `~/.dweve/config.toml`, projekta `.aura/config.toml` un jebkurš `AURA_*` vides mainīgais. Tie apvienojas pēc atslēgas, katram slānim pārspēlējot zemāko; vides mainīgie atrodas augšpusē, tāpēc viens eksports var mainīt Aura darbību vienam CI darbam, vienai filiālei, vienai demonstrācijai.

Jūs lasāt izmaiņas pret projekta specifikāciju…

Rust trait API, rīki, slīpsvītra, notikumi

Palaist DAG: atkļūdošana, funkcija, pārskatīšana

Saraksts vai aģentu maiņa, projekts / lietotājs / iebūvēts

Aģenti, prasmes, spraudņi un darbplūsmas ir markdown + YAML faili diskā. Ar Aura tiek piegādāti seši iebūvētie aģenti; projekta, lietotāja un globālie līmeņi tiek apvienoti startēšanas laikā. Rediģējiet failu, aģents pārbūvē savu uzvedni bez pārstartēšanas.

vienības + integrācijas + dokumentācijas

lint pārbaude, brīdina par paaugstināšanu

`/quality` secīgi darbina fmt, clippy, kompilēšanu, testus, dokumentācijas testus un drošības auditu. Kļūmes ietver steka izsekojumus un diff kontekstu. Brīdinājumi pēc noklusējuma nav bloķējoši; tos var paaugstināt līdz vārtiem katram projektam.

Stdio JSON-RPC 2.0, pārvaldīts apakšprocess, tā pati atļauju un audita cauruļvads kā iebūvētajiem.

spēju karodziņi, sarunāti katram serverim

MCP serveri tiek deklarēti Aura konfigurācijā: komanda, argumenti, vide. Sesijas sākumā Aura tos palaiž kā pārvaldītus apakšprocesus, veic tipizēto spēju rokasspiedienu no `dweve-protocol::mcp::capability` un reģistrē atklāto virsmu tajā pašā rīku reģistrā, kur dzīvo iebūvētie. Resursi, rīki, uzvednes, paraugu ņemšana un žurnālu spējas visas plūst caur to pašu tipizēto ziņojumu kopni no `dweve-protocol::mcp::message`. Ārējie rīki pēc noklusējuma nav uzticami; tie manto atļauju līmeņus katram rīkam, audita žurnālu, PII filtrēšanu un ķēdes pārtraucēja aizsardzību.

Aura MCP klients ir veidots uz `dweve-protocol::mcp`, tipizēto MCP ziņojumu, spēju, transporta un rīku virsmu, ko izmanto arī pārējais Dweve. Savienojieties ar jebkuru MCP serveri pa stdio JSON-RPC 2.0, sarunājiet spējas un parādiet tā rīkus / uzvednes / resursus blakus Aura iebūvētajiem. Tā pati atļauju vārti, tas pats audita izsekošanas ceļš, tas pats ķēdes pārtraucējs.

Agenti koplieto uzdevumu dēli, apmainās ar ziņojumiem pa notikumu kopni un ievieš kvalitātes vārtus. Starpagentu darba žurnāls izseko failu līmeņa pretenzijas, lai novērstu konfliktus.