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);

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

marker tal-konfini tal-fornitur juri fejn jieqfu l-interni moħbija

ir-router jagħżel l-iktar mudell ikkonfigurat irħis li jissodisfa l-ħtieġa tal-kapaċità

tokens, operaturi, kwotazzjoni, u escaping jiġu evalwati qabel l-eżekuzzjoni

L-istruttura tiddeċiedi, mhux lista ta' strings.

profil ta' skjerament jagħżel sett mingħajr ma jbiddel il-kuntratt taċ-ċiklu

Il-petali jvarjaw, il-kuntratt taċ-ċiklu jżomm.

checkpoints jneħħu l-bidliet live, worktrees jiżolaw, Git huwa storja dejjiema

entrata ta' cache tiġi invalidata wara li garża tmiss il-fajls tagħha

ċifri mkejla ta' daqs u għadd ta' sorsi jappartjenu għal karta ta' bini validata mill-ġdid

diff dirett juri liema saff ipprovda kull valur effettiv

is-sett tax-xogħol jibqa' limitat minflok jikber mingħajr limitu

avveniment jidħol fil-bus u jinfirex skont l-isem tat-tip

is-siġra tiftaħ f'definizzjoni effettiva ta' aġent u DAG ta' workflow

il-korsija deterministika tiġri l-ewwel, il-korsija tal-mudell biss meta jkun meħtieġ

il-korsija tal-mudell tiġri biss meta l-korsija deterministika ma tistax tiddeċiedi

Il-korsija tal-mudell tiġri biss meta jkun meħtieġ.

sekwenza grep ripetuta waħda tqanqal ħjiel korrettiv

ġejt tmexxi grep ħames darbiet, ipprova aqra l-fajl

messaġġ ta' direzzjoni bejn żewġ azzjonijiet ibiddel it-tieni

Għan biex jitlesta jew jitfassal mill-ġdid

l-istat attiv jaqra test falla, replan 2, għan 3 minn 4

l-imġiba tas-server remot tibqa' konfini esterna

rilevanza deterministika u BitRank fuq indiċi limitat, fallback FTS5

żewġ aġenti jikkompetu għal fajl wieħed u talba waħda tiġi differita

riżultat ta' għodda jannulla l-pjan mingħajr ma jarmi l-għan

L-għan jibqa' jippersisti waqt li l-pjan jinbidel.

Output mhux ipproċessat għal kuntest magħluq

il-mudell qatt ma jirċievi l-kontenut estern mhux ipproċessat

triq barra mill-ambitu tintbagħat għall-approvazzjoni, mhux titwessa' b'mod sieket

it-tnejn jinvokaw l-istess għan u politika ta' kwalità u jipproduċu avvenimenti komparabbli

il-moduli huma separati b'kuntratti tipizzati, mhux b'stat mutabbli kondiviż

Il-moduli jiltaqgħu biss fil-bus tipizzat.

il-pass pendenti jiġi sostitwit u l-awditjar jirreġistra l-avveniment

l-awditjar jirreġistra l-avveniment ta' gwida

sejħa ta' patch u sejħa MCP kull waħda tmexxi l-pipeline sħiħ

agħżel sejħa biex tara liema stadji jaġixxu

each panel maps to a loop responsibility

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.