Aura | Runtime tal-AI għal aġenti tal-kodiċi

Choose the audience that matches your question

The page contains three selectable readings of the same subject.

    return Err(SessionExpired);

L-assistent, it-tiftix, il-memorja u r-reġistru tal-awditjar mitwija f'binary waħda.

Kaċċa għall-bugs, boilerplate, refactors u onboarding imxerrda fuq seba' għodod.

Tista' tgħinni nirranġa dan iż-żball żgħir fil-kodiċi tiegħi?

Fuq xiex jibbażaw ruħhom l-allegazzjonijiet

l-ebda allegazzjoni ta' produttività mkejla

l-ewwel test jonqos, Verify jirritorna għal Plan

5 passi, riveduti wara li terġa' tippjana

l-ebda messaġġ tal-operatur f'din il-ġirja

kull pożizzjoni turi l-mudell tagħha u l-konfini ta' barra tagħha

tlieta jgħaddu, wieħed jippjana mill-ġdid

l-istat finali jaqra l-għan sodisfatt, kull kriterju aħdar

il-karti jsiru stat ta' loop wieħed ġewwa Aura

il-linja tibqa' ċentrali waqt li l-istat jdawwarha

in-nodi tal-għodda, tal-politika, tal-kwalità, tal-memorja, u tal-awditjar ma jiċċaqilqux

il-pretensjonijiet tal-fajls jipprevjenu żewġ aġenti milli jeditjaw l-istess triq

il-kumpilazzjoni tgħaddi, it-testijiet ifallu, isewwi, it-testijiet jgħaddu, l-awditja titlesta

il-verifika-awditu tiċċekkja l-katina fit-tmiem

istruzzjoni waħda tbiddel is-sejħa li jmiss tal-għodda mingħajr reset

is-sejħa tal-patch tipproċedi kif ippjanat

is-sejħa li jmiss timmira lejn it-test li qed ifalli l-ewwel

iċ-ċiklu jieqaf qabel is-sejħa li jmiss tal-għodda

is-sessjoni tispiċċa u x-xogħol jiġi ppreservat

l-aħħar checkpoint jiġi restawrat fil-post

provdituri u għodod fakultattivi jibqgħu esterni fejn magħżula

kull saff juri kontroll konkret u r-riżultat tiegħu

għodod integrati, MCP, u ta' estensjoni jingħaqdu fl-istess ingress

ambitu, permess, analiżi tal-shell, checkpoint, sanitarizzazzjoni, awditjar

test wieħed li jfalli jirritorna lejn iċ-ċiklu, imbagħad jgħaddi

jieqaf meta l-għan jintlaħaq, meta twaqqfu int, jew meta ma jkunx jista' jkompli b'mod onest

Sewwi l-login, żid test, spjega din il-parti. L-ebda kmandi x'tiftakar.

Iħares lejn il-fajls u n-noti tiegħek stess, mhux eżempju ġeneriku.

Mira żgħira li jista' jiċċekkja meta x-xogħol ikun lest.

Meta l-għan li inti stabbilejt ikun verament milħuq.

Il-fajl u l-linja eżatti wara l-pjan tiegħu.

Xejn ma jeditja mingħajr il-kunsens tiegħek

Editjar u kmandi jistennew l-iva tiegħek.

Iżomm mal-proġett tiegħek sakemm ma tippermettix aktar.

Kopja separata żżomm ix-xogħol prinċipali sigur

Jagħżel tajba u jaqa' lura jekk waħda tkun 'il bogħod.

Xogħlijiet twal jimxu waqt li int tkompli.

Speċjalista wieħed jgħaddi xogħol lil ieħor.

Talba ta' fajls twaqqaf sovrappożizzjonijiet siekta.

Kontrolli aktar tard juru kwalunkwe editjar.

il-konversazzjoni tespandi f'ċiklu li jkompli jaħdem lejn l-għan

ħallini nħares, nibdelha, u mbagħad niċċekkja li żżomm

azzjoni viżibbli ta' tinsa tneħħiha meta trid int

għajnuna fuq il-kompjuter tiegħek iżżomm il-ħsieb miegħek, għajnuna cloud tirċievi dak li tibgħat

pretensjonijiet tal-fajls ifissru li żewġ sessjonijiet ma jeditjawx l-istess triq fis-skiet

l-aċċess jibqa' ġewwa l-proġett sakemm ma tippermettix aktar

kull talba ssir karta żgħira ta' għan, mhux tweġiba ta' chat

Kull talba ssir għan li Aura tista' tiċċekkja

ippjana mill-ġdid fuq informazzjoni ġdida

kull pass juri progress u l-pjan jista' jinbidel

jindika l-fajls eżatti li ffurmaw il-pjan

il-katina tal-awditjar tista' tiġi vverifikata aktar tard biex tinstab modifika

il-kontrolli u t-testijiet kollha għaddew

Xejn hawn ma jista' jkun editjat bil-kwiet.

il-kuntest jibqa' sħun, biex ma terġax tispjega l-proġett

il-checkpoints jinqabdu qabel editjar ta' fajls appoġġjati

il-fajls tiegħek, il-bidliet, il-kontrolli, u r-rekord jibqgħu f'post wieħed

Aġent tal-kodifikazzjoni u assistenza għall-operatur. Il-metriċi tad-dimostrazzjoni huma illustrattivi.

Terminal, tfittxija, lint, test, git, u aktar.

Jiftakar il-kodiċi tiegħek u l-kuntest tat-tim.

Aġenti speċjalizzati jikkollaboraw fuq diversi oqsma.

Kull pass jiġi rreġistrat bi timbri tal-ħin.

Politiki, kontrolli, u testijiet dejjem jimxu.

Irrevedi d-diffs, itlob bidliet, iffirma finalment.

Irriproduċi kwalunkwe sessjoni bit għal bit meta xi ħaġa teħtieġ reviżjoni.

Aġenti awtonomi li jiktbu kodiċi u jżommu r-reċevuti

biex jimmaniġġja timeouts tan-netwerk, risponsi 5xx, u kundizzjonijiet idempotenti-sikuri. Helper pur, ittestjat kompletament.

L-algoritmi jiggruppaw skont it-tip ta' data

Matriċi ta' kapaċitajiet li tista' tiskrollja

Aura toħroġ bħala binarju statiku wieħed mingħajr dipendenzi ta' runtime. Appoġġ għall-intrapriża, żvilupp personalizzat, u taħriġ disponibbli mingħand Dweve.

# solvut fir-runtime; AURA_MODEL jissostitwixxi l-proġett

Jibda b'mod sigur mingħajr ma jmiss fajl.

Għal kull proġett, għal kull magna, għal kull ambjent

Kull ħaġa li tista' tissettja f'TOML, mudell, livelli ta' permess għal kull għodda, triq tal-log tal-awditjar, profil imsemmi, tista' tippinja għal kull proġett, tissostitwixxi għal kull magna, jew tbiddel għal kull varjabbli tal-ambjent. Mess kwalunkwe minn dawk il-fajls, l-aġent jarahom u jerġa' jibni l-prompt tas-sistema tiegħu mingħajr ma jerġa' jibda s-sessjoni. L-ebda reboot, l-ebda kuntest mitluf.

Aura ssolvi l-konfigurazzjoni fuq erba' saffi, defaults mibnija, il-`~/.dweve/config.toml` tiegħek fil-livell tal-utent, il-`.aura/config.toml` tal-proġett, u kwalunkwe varjabbli tal-ambjent `AURA_*`. Jingħaqdu għal kull ċavetta, b'kull saff jissostitwixxi dak ta' taħtu; il-varjabbli tal-ambjent joqogħdu fuq nett sabiex esportazzjoni waħda tista' tbiddel l-imġiba ta' Aura għal xogħol CI wieħed, fergħa waħda, demo waħda.

Taqra d-diffs kontra l-ispeċifikazzjoni tal-proġett…

rwol: "reviżjoni tal-kodiċi, qabel il-commit"

API ta' trait Rust, għodod, slash, avvenimenti

Frammenti ta' prompt injettati b'mod kondizzjonali

Lista jew ibdel aġenti, proġett / utent / builtin

Aġenti, ħiliet, plugins u workflows huma markdown + YAML fuq disk. Sitt aġenti mibnija jiġu ma' Aura; it-tiers tal-proġett, tal-utent u globali jingħaqdu mal-istartjar. Editja fajl, l-aġent jerġa' jibni l-prompt tiegħu mingħajr ma jerġa' jibda.

`/quality` imexxi fmt, clippy, compile, tests, doc-tests, u verifika tas-sigurtà f'sekwenza. Il-fallimenti jinkludu stack traces u kuntest ta' diff. It-twissijiet mhumiex ta' blokkjar b'mod default; tista' tippromwovihom għal gates għal kull proġett.

Stdio JSON-RPC 2.0, subproċess amministrat, l-istess pipeline ta' permessi u verifika bħall-builtins.

mudelli ta' prompts li jistgħu jerġgħu jintużaw

flags ta' kapaċità, negozjati għal kull server

Is-servers MCP huma ddikjarati fil-konfigurazzjoni ta' Aura: kmand, argumenti, ambjent. Fil-bidu tas-sessjoni, Aura jibdahom bħala subproċessi amministrati, imexxi l-handshake tal-kapaċità tipjata minn `dweve-protocol::mcp::capability`, u jirreġistra l-wiċċ skopert fl-istess reġistru ta' għodod fejn jgħixu l-builtins. Riżorsi, għodod, prompts, kapaċitajiet ta' kampjunar u logging kollha jgħaddu mill-istess bus ta' messaġġi tipjat minn `dweve-protocol::mcp::message`. Għodod esterni mhumiex fdati b'mod default, jirtu livelli ta' permess għal kull għodda, logging ta' verifika, filtrazzjoni ta' PII u protezzjoni ta' circuit-breaker.

Il-klijent MCP ta' Aura huwa mibni fuq `dweve-protocol::mcp`, il-messaġġ MCP tipjat, il-kapaċità, it-trasport u l-wiċċ tal-għodda li l-bqija ta' Dweve juża wkoll. Ikkonnettja ma' kwalunkwe server MCP fuq stdio JSON-RPC 2.0, innegozja l-kapaċitajiet, u uri l-għodod / prompts / riżorsi tiegħu flimkien mal-builtins ta' Aura. L-istess gate ta' permessi, l-istess trail ta' verifika, l-istess circuit breaker.

L-aġenti jaqsmu bord ta' kompiti, jiskambjaw messaġġi permezz tal-bus tal-avvenimenti, u jinfurzaw il-gates tal-kwalità. Ledger ta' xogħol bejn l-aġenti jsegwi l-pretensjonijiet fil-livell ta' fajl biex jipprevjeni kunflitti.

Spawn bosta aġenti simultanjament bl-istess input. Strateġiji ta' aggregazzjoni: unanimous (kollha jaqblu), majority (l-aktar komuni), first-success (l-aktar malajr validu), jew merge personalizzat.

Eżekuzzjoni b'ħafna passi fejn l-output ta' kull pass jitma' f'dak li jmiss. Sostituzzjoni ta' varjabbli b'sintassi simili għal Jinja. Katina built-in għal debug, feature, optimisation, refactor, u review.

traċċar ta' pretensjonijiet fil-livell ta' fajl

aġenti integrati, magħquda bejn il-livelli

Il-katini huma definiti bħala fajls markdown b'frontmatter YAML, isem, deskrizzjoni, passi ordnati. Kull pass isemmi aġent, jispeċifika għan, u jista' jirreferi għall-output tal-passi preċedenti permezz ta' varjabbli bħal Jinja. Il-kriterji ta' suċċess jiddikjaraw x'jikkostitwixxi tlestija (tqabbil ta' sottostringa, regex, eżistenza ta' fajl, pass ta' test). Il-katini integrati jkopru debug, implimentazzjoni ta' karatteristiċi, ottimizzazzjoni, refactoring u reviżjoni. Poġġi fajl markdown fid-direttorju tal-katini biex tiddefinixxi wieħed personalizzat, mingħajr rebuild.

Ir-reġistru tal-aġenti ta' Aura jappoġġa erba' mudelli ta' orkestrazzjoni. Il-katini jesegwixxu aġenti b'mod sekwenzjali b'sostituzzjoni ta' varjabbli. Il-parallel jesegwixxi aġenti b'mod konkorrenti b'aggregazzjoni tar-riżultati. It-timijiet jikkoordinaw diversi aġenti b'stat kondiviż u messaġġi. Il-kompiti fl-isfond jitmexxew b'mod indipendenti b'manek ta' abort u traċċar tal-istatus.