Aura | AI Coding Agent Runtime

    return Err(SessionExpired);

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

Assistenten, søgningen, hukommelsen og revisionsloggen samlet i én binær fil.

Fejlfinding, kedelplade, refaktorering og onboarding spredt over syv værktøjer.

Selvfølgelig. Her er, hvad jeg gerne vil gøre.

Kan du hjælpe mig med at rette denne lille fejl i min kode?

den første test fejler, Verifikation vender tilbage til Plan

hver stilling viser sin model og sin udgående grænse

sluttilstanden læser målet opfyldt, hvert kriterium grønt

kortene bliver én loop-tilstand inde i Aura

loopet forbliver centralt, mens ejendommen omgiver det

værktøjs-, politik-, kvalitets-, hukommelses- og revisionsnoder flytter ikke

filkrav forhindrer to agenter i at redigere samme sti

kompilering består, tests fejler, reparation, tests består, audit fuldføres

verificer-audit tjekker kæden ved afslutning

en instruktion ændrer det næste værktøjskald uden en nulstilling

det næste kald målretter først den fejlende test

løkken holder før det næste værktøjskald

den sidste kontrolpunktsgenskabelse gendannes på plads

valgfri udbydere og værktøjer forbliver eksterne, hvor de er valgt

hvert lag viser en konkret kontrol og dens resultat

indbyggede, MCP- og udvidelsesværktøjer mødes ved samme indgang

omfang, tilladelse, shell-analyse, checkpoint, sanitering, revision

en mislykket test vender tilbage til løkken og består derefter

verificerbar revision, når det er aktiveret

det stopper, når målet er nået, når du stopper det, eller når det ikke ærligt kan fortsætte

Ret login, tilføj en test, forklar denne del. Ingen kommandoer at huske.

Den kigger på dine egne filer og noter, ikke et generisk eksempel.

Et lille mål, som den kan tjekke, når arbejdet er færdigt.

Planen opdateres, efterhånden som den lærer

Ændringer og kommandoer venter på dit ja.

Den holder sig til dit projekt, medmindre du tillader mere.

Gå et skridt tilbage fra den seneste ændring

En separat kopi holder hovedarbejdet sikkert

Den vælger en passende og falder tilbage, hvis en er væk.

Lange opgaver kører, mens du fortsætter.

En specialist overgiver arbejde til en anden.

Hvordan arbejdet blev sat på pause og genoptaget.

Senere kontroller afslører enhver redigering.

samtalen udvides til en løkke, der bliver ved med at arbejde mod målet

lad mig se, ændre det og så tjekke, at det holder

en synlig glem-handling fjerner den, når du vil

brug tabulatorer, ikke mellemrum, i dette projekt

en hjælper på din computer holder tænkningen hos dig, en cloud-hjælper modtager det, du sender

filer krav betyder, at to sessioner ikke stille og roligt redigerer samme sti

adgangen forbliver i projektet, medmindre du tillader mere

hver anmodning bliver et lille målkort, ikke et chat-svar

Hver anmodning bliver et mål, Aura kan kontrollere

hvert trin viser fremgang, og planen kan ændres

den peger på de nøjagtige filer, der formede planen

revisionskæden kan verificeres senere for at opdage ændringer

Intet her kan redigeres stille og roligt.

konteksten forbliver varm, så du ikke skal forklare projektet igen

kontrolpunkter oprettes før understøttede filredigeringer

dine filer, ændringer, kontroller og registrering forbliver ét sted

en udbydergrænsemarkør viser, hvor skjulte interne dele stopper

routeren vælger den billigste konfigurerede model, der opfylder kapacitetsbehovet

en citeret farlig streng forbliver sikker

tokens, operatorer, citering og escaping evalueres før udførelse

Struktur afgør, ikke en liste af strenge.

en implementeringsprofil vælger et sæt uden at ændre kredsløbskontrakten

Kronbladene varierer, kredsløbskontrakten holder.

kontrolpunkter fortryder live, arbejdstræer isolerer, Git er varig historik

en cache-post ugyldiggøres, efter at en patch rører dens filer

målte størrelses- og kildeantalstal hører til i et revalideret build-kort

en live diff viser, hvilket lag der leverede hver effektiv værdi

arbejdssættet forbliver afgrænset i stedet for at vokse uden grænse

en begivenhed kommer ind i bussen og spredes efter typenavn

træet åbner sig til en effektiv agentdefinition og en workflow-DAG

den deterministiske bane kører først, modelbanen kun når det er nødvendigt

modelbanen kører kun, når den deterministiske bane ikke kan afgøre

Modelbanen kører kun, når det er nødvendigt.

én gentaget grep-sekvens udløser et korrigerende tip

du har kørt grep fem gange, prøv at læse filen

en styringsbesked mellem to handlinger ændrer den anden

den aktive tilstand læser test mislykkedes, planlæg om 2, mål 3 af 4

den eksterne servers adfærd forbliver en ekstern grænse

deterministisk relevans og BitRank over et afgrænset indeks, FTS5-fallback

to agenter kæmper om én fil, og ét krav udsættes

et værktøjsresultat ugyldiggør planen uden at kassere objektivet

Objektivet består, mens planen revideres.

modellen modtager aldrig det rå eksterne indhold

en sti uden for omfanget sendes til godkendelse, ikke udvides stille

begge anvender samme mål- og kvalitetspolitik og producerer sammenlignelige hændelser

moduler er adskilt af typede kontrakter, ikke delt foranderlig tilstand

det ventende trin erstattes, og revisionen registrerer hændelsen

revisionen registrerer styringshændelsen

et patch-opkald og et MCP-opkald kører hver hele pipelinen

vælg et opkald for at se, hvilke trin der aktiveres

hvert panel knytter sig til et løkkeansvar

Coding agent og operatørassistance. Demomålinger er illustrative.

Terminal, søgning, lint, test, git og mere.

Specialiserede agenter samarbejder på tværs af områder.

Hvert trin registreres med tidsstempler.

Politikker, kontroller og tests kører altid.

Gennemgå diffs, anmod om ændringer, endelig godkendelse.

Afspil enhver session bit-for-bit, når noget skal gennemgås.

Autonome agenter, der skriver kode og holder styr på kvitteringer

til at håndtere netværkstimeouts, 5xx-svar og idempotente-sikre betingelser. Ren hjælpefunktion, fuldt enhedstestet.

Aura leveres som en enkelt statisk binærfil uden runtime-afhængigheder. Enterprise-support, tilpasset udvikling og træning fås hos Dweve.

# løses ved kørsel; AURA_MODEL tilsidesætter projektet

Alt, hvad du kan angive i TOML, model, tilladelsesniveauer per værktøj, sti til revisionslog, navngivet profil, kan du fastlåse per projekt, tilsidesætte per maskine eller ændre per miljøvariabel. Rør ved en af disse filer, og agenten overvåger dem og genopbygger sit systemprompt uden at genstarte sessionen. Ingen genstart, ingen mistet kontekst.

Aura løser konfiguration på tværs af fire lag: indbyggede standarder, din brugerfil `~/.dweve/config.toml`, projektets `.aura/config.toml` og enhver `AURA_*` miljøvariabel. De flettes per nøgle, hvor hvert lag tilsidesætter det under; miljøvariabler ligger øverst, så en enkelt export kan ændre Auras adfærd for ét CI-job, én branch, én demo.

Du læser diffs mod projektspecifikationen…

Rust trait API, værktøjer, slash, events

List eller skift agenter, projekt / bruger / indbygget

Agenter, færdigheder, plugins og workflows er markdown + YAML på disk. Seks indbyggede agenter følger med Aura; projekt-, bruger- og globale niveauer flettes ved start. Rediger en fil, og agenten genopbygger sit prompt uden genstart.

lint-gennemgang, advarsler forfremmelige

`/quality` kører fmt, clippy, compile, tests, doc-tests og en sikkerhedsrevision i sekvens. Fejl inkluderer stack traces og diff-kontekst. Advarsler er ikke-blokerende som standard; du kan forfremme dem til gates pr. projekt.

Stdio JSON-RPC 2.0, administreret underproces, samme tilladelses- og revisionspipeline som indbyggede.

MCP-servere erklæres i Auras konfiguration: kommando, argumenter, miljø. Ved sessionstart starter Aura dem som administrerede underprocesser, kører den typed kapabilitetshåndtryk fra `dweve-protocol::mcp::capability` og registrerer den opdagede overflade i samme værktøjsregister, som de indbyggede lever i. Ressourcer, værktøjer, prompts, sampling- og logningskapabiliteter flyder alle gennem den samme typed meddelelsesbus fra `dweve-protocol::mcp::message`. Eksterne værktøjer er ikke betroet som standard; de arver tilladelsesniveauer pr. værktøj, revisionslogning, PII-filtrering og circuit-breaker-beskyttelse.

Auras MCP-klient er bygget på `dweve-protocol::mcp`, den typed MCP-meddelelse, kapabilitet, transport og værktøjsoverflade, som resten af Dweve også bruger. Forbind til enhver MCP-server over stdio JSON-RPC 2.0, forhandl kapabiliteter, og vis dens værktøjer / prompts / ressourcer sammen med Auras indbyggede. Samme tilladelsesgate, samme revisionsspor, samme circuit breaker.

Agenter deler en opgavetavle, udveksler meddelelser via hændelsesbussen og håndhæver kvalitetsgates. Tværagent-arbejdsjournal sporer filniveau-krav for at forhindre konflikter.

Start flere agenter samtidigt med samme input. Aggregeringsstrategier: enstemmig (alle enige), flertal (mest almindelige), første-succes (hurtigste gyldige) eller brugerdefineret sammenlægning.

Multi-trin udførelse, hvor hvert trins output føder ind i det næste. Variabelsubstitution med Jinja-lignende syntaks. Indbyggede kæder til debug, feature, optimering, refactor og review.

indbyggede agenter, flettet på tværs af niveauer