Aura | AI izpildvide koda aģentiem

Choose the audience that matches your question

The page contains three selectable readings of the same subject.

    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ā

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.

Palaižiet vairākus agentus vienlaikus ar to pašu ievadi. Apkopošanas stratēģijas: vienprātīga (visi piekrīt), vairākuma (visizplatītākā), pirmā veiksme (ātrākā derīgā) vai pielāgota apvienošana.

Daudzsoļu izpilde, kur katra soļa izvade tiek padota nākamajam. Mainīgo aizstāšana ar Jinja līdzīgu sintaksi. Iebūvētas ķēdes atkļūdošanai, funkcijām, optimizācijai, refaktorēšanai un pārskatīšanai.

Ķēdes tiek definētas kā markdown faili ar YAML frontmatter, nosaukumu, aprakstu, sakārtotiem soļiem. Katrs solis nosauc aģentu, norāda mērķi un var atsaukties uz iepriekšējo soļu rezultātiem, izmantojot Jinja līdzīgus mainīgos. Veiksmes kritēriji nosaka, kas tiek uzskatīts par pabeigtu (apakšvirknes atbilstība, regex, faila esamība, testa izturēšana). Iebūvētās ķēdes aptver atkļūdošanu, funkciju ieviešanu, optimizāciju, refaktoringu un pārskatīšanu. Ievietojiet markdown failu ķēžu direktorijā, lai definētu pielāgotu, bez pārbūves.

Aura aģentu reģistrs atbalsta četrus orķestrācijas modeļus. Ķēdes izpilda aģentus secīgi ar mainīgo aizstāšanu. Paralēli palaiž aģentus vienlaikus ar rezultātu apkopošanu. Komandas koordinē vairākus aģentus ar kopīgu stāvokli un ziņojumapmaiņu. Fona uzdevumi darbojas neatkarīgi ar pārtraukšanas rokturiem un statusa izsekošanu.

Trīs līmeņu kompaktors apvienoja novecojušu rīku izvadi pie augstas noslodzes.

Klasifikators izvēlējās claude-sonnet vidējas sarežģītības uzdevumam.

Pielāgojums piemērots src/auth/session.rs.

2./3. līmenis, novecojusi izvade apvienota

Katrs notikums tiek ierakstīts savā rindā tikai pievienojamā JSONL failā. Katra rinda satur iepriekšējās BLAKE3 jaucēju, tāpēc ķēdes pārbaude no sākuma līdz pašreizējam atklāj jebkādu modifikāciju. Nevis labāko centienu žurnāls, bet kriptogrāfisks lēmumu žurnāls.

Viltot vienu ierakstu, katrs jaucējs sabojājas.

Apgriezt, lai ietilptu konteksta budžetā; zemākā rezultāta izmešana.

BM25 sarindo pēc atbilstības, aktualitātes un piekļuves skaita.

FTS5 atrod atmiņas, kas atbilst vaicājumam.

Izmetiet zemākā rezultāta atmiņas, līdz uzvedne ietilpst modeļa kontekstā.