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'assistente, la ricerca, la memoria e il registro di controllo riuniti in un unico binario.

Caccia ai bug, codice ripetitivo, refactoring e onboarding distribuiti su sette strumenti.

Puoi aiutarmi a correggere questo piccolo errore nel mio codice?

controlli deterministici degli obiettivi

nessuna affermazione non misurata sulla produttività

obiettivo in ingresso, risultato in uscita

il primo test fallisce, Verifica torna a Piano

la seconda patch passa, l'obiettivo si chiude

chiudi la sessione alla scadenza del token

5 passaggi, rivisti dopo la ri pianificazione

nessun messaggio operatore in questa esecuzione

obiettivo soddisfatto, il ciclo si chiude

ogni postura mostra il proprio modello e il proprio confine in uscita

lo stato finale indica obiettivo raggiunto, ogni criterio verde

le carte diventano un unico stato di loop dentro Aura

il loop resta centrale mentre la tenuta lo circonda

la patch inizia in attesa di approvazione

un'azione di dimenticanza visibile la rimuove

i nodi strumento, policy, qualità, memoria e audit non si spostano

le rivendicazioni sui file impediscono a due agenti di modificare lo stesso percorso

la compilazione passa, i test falliscono, si ripara, i test passano, l'audit completa

la verifica-audit controlla la catena al completamento

una singola istruzione cambia la prossima chiamata allo strumento senza ripristino

la chiamata alla patch procede come previsto

la prossima chiamata punta prima al test fallito

il ciclo si ferma prima della prossima chiamata allo strumento

la sessione termina e il lavoro viene conservato

l'ultimo checkpoint viene ripristinato sul posto

provider e strumenti opzionali restano esterni dove selezionati

ogni livello mostra un controllo concreto e il suo risultato

strumenti integrati, MCP e di estensione si uniscono allo stesso ingresso

ambito, autorizzazione, analisi della shell, checkpoint, sanificazione, audit

un test non riuscito torna al ciclo, poi passa

si ferma quando l'obiettivo è raggiunto, quando lo interrompi, o quando non può proseguire onestamente

Sistema il login, aggiungi un test, spiega questa parte. Nessun comando da memorizzare.

Guarda i tuoi file e le tue note, non un esempio generico.

Un piccolo traguardo che può verificare quando il lavoro è finito.

Quando l'obiettivo che hai fissato è davvero raggiunto.

Il file e la riga esatti dietro il suo piano.

Le modifiche e i comandi aspettano il tuo sì.

Resta nel tuo progetto a meno che tu non consenta di più.

Torna indietro alla modifica più recente

Un punto di ripristino prima delle modifiche

Una copia separata mantiene al sicuro il lavoro principale

Sceglie la soluzione adatta e ripiega se una non è disponibile.

Uno specialista passa il lavoro a un altro.

Le rivendicazioni sui file impediscono sovrapposizioni silenziose.

Come il lavoro si è messo in pausa e ripreso.

I controlli successivi rivelano qualsiasi modifica.

la conversazione si espande in un ciclo che continua a lavorare verso l'obiettivo

lascia che guardi, la cambi, poi verifichi che regga

un'azione di dimenticanza visibile la rimuove quando vuoi

un helper sul tuo computer tiene il pensiero con te, un helper cloud riceve ciò che invii

le richieste di file impediscono a due sessioni di modificare silenziosamente lo stesso percorso

l'accesso resta all'interno del progetto a meno che tu non consenta di più

conservativo per impostazione predefinita

ogni richiesta diventa una piccola scheda obiettivo, non una risposta di chat

Ogni richiesta diventa un obiettivo che Aura può verificare

riorganizza il piano con nuove informazioni

ogni passaggio mostra i progressi e il piano può cambiare

punta ai file esatti che hanno plasmato il piano

la catena di controllo può essere verificata in seguito per rilevare modifiche

Niente qui può essere modificato silenziosamente.

il contesto resta caldo, quindi non devi rispiegare il progetto

i checkpoint vengono acquisiti prima delle modifiche ai file supportati

i tuoi file, le modifiche, i controlli e la cronologia restano in un unico posto

un indicatore di confine del provider mostra dove finiscono gli interni nascosti

il router seleziona il modello configurato più economico che soddisfa il requisito di capacità

Un'interfaccia dietro quattro adattatori.

una stringa tra virgolette pericolosa resta sicura

una vera pipe verso la shell viene bloccata

token, operatori, virgolette ed escape vengono valutati prima dell'esecuzione

La struttura decide, non un elenco di stringhe.

un profilo di distribuzione seleziona un insieme senza modificare il contratto del ciclo

I petali variano, il contratto del ciclo resta valido.

i checkpoint annullano in tempo reale, i worktree isolano, Git è una cronologia durevole

Ogni livello contiene quello precedente.

una voce della cache si invalida dopo che una patch tocca i suoi file

cinque errori fanno scattare l'interruttore

Cinque errori fanno scattare l'interruttore.

le cifre misurate di dimensioni e numero di sorgenti appartengono a una scheda di build rivalidata

una differenza in tempo reale mostra quale livello ha fornito ogni valore effettivo

il ricaricamento a caldo mantiene la sessione

il set di lavoro rimane limitato anziché crescere senza limite

la compattazione modifica il comportamento

un evento entra nel bus e si diffonde per nome di tipo

l'albero si apre in una definizione di agente efficace e in un DAG di workflow

la corsia deterministica viene eseguita per prima, quella del modello solo quando necessario

soddisfatto, non soddisfatto, inconcludente

la corsia del modello viene eseguita solo quando la corsia deterministica non può decidere

La corsia del modello viene eseguita solo quando necessario.

una sequenza grep ripetuta innesca un suggerimento correttivo

hai eseguito grep cinque volte, prova a leggere il file

un messaggio di guida tra due azioni modifica la seconda

lo stato attivo riporta test fallito, riprogrammazione 2, obiettivo 3 di 4

il comportamento del server remoto rimane un confine esterno

Una correzione viene classificata in avanti

rilevanza deterministica e BitRank su un indice limitato, fallback FTS5

due agenti contendono un file e una rivendicazione viene differita

un risultato dello strumento invalida il piano senza scartare l'obiettivo

L'obiettivo persiste mentre il piano viene rivisto.

il modello non riceve mai il contenuto esterno grezzo

un percorso fuori ambito viene instradato all'approvazione, non ampliato silenziosamente

percorso fuori dalla radice del progetto

entrambi invocano la stessa policy di obiettivo e qualità e producono eventi comparabili

i moduli sono separati da contratti tipizzati, non da stato mutabile condiviso

I moduli si incontrano solo sul bus tipizzato.

il passaggio in sospeso viene sostituito e l'audit registra l'evento

una chiamata patch e una chiamata MCP eseguono entrambe l'intera pipeline

seleziona una chiamata per vedere quali fasi agiscono

ogni pannello corrisponde a una responsabilità del loop

Assistenza per agenti di codifica e operatori. Le metriche demo sono illustrative.

Terminale, ricerca, lint, test, git e altro.

Ricorda il tuo codebase e il contesto del team.

Agenti specializzati collaborano su diversi ambiti.

Ogni passaggio è registrato con timestamp.

Politiche, controlli e test vengono sempre eseguiti.

Rivedi le diff, richiedi modifiche, approvazione finale.

Riproduci qualsiasi sessione bit per bit quando qualcosa richiede revisione.

Leggi retry.ts, individuato bug di timeout

Agenti autonomi che scrivono codice e tengono traccia

per gestire timeout di rete, risposte 5xx e condizioni idempotent-safe. Helper puro, completamente testato.

Aura viene distribuito come un singolo binario statico senza dipendenze runtime. Supporto enterprise, sviluppo personalizzato e formazione disponibili da Dweve.

# risolto a runtime; AURA_MODEL sovrascrive il progetto

Si avvia in sicurezza senza toccare alcun file.

Per progetto, per macchina, per ambiente

Qualsiasi cosa tu possa impostare in TOML, modello, livelli di autorizzazione per strumento, percorso del registro di controllo, profilo nominato, puoi fissarla per progetto, sovrascriverla per macchina o cambiarla per variabile d'ambiente. Tocca uno di quei file, l'agente li osserva e ricostruisce il suo prompt di sistema senza riavviare la sessione. Nessun riavvio, nessun contesto perso.

Aura risolve la configurazione su quattro livelli, valori predefiniti integrati, il tuo `~/.dweve/config.toml` a livello utente, il `.aura/config.toml` del progetto e qualsiasi variabile d'ambiente `AURA_*`. Si uniscono per chiave, con ogni livello che sovrascrive quello sottostante; le variabili d'ambiente stanno in cima così una singola esportazione può cambiare il comportamento di Aura per un lavoro CI, un ramo, una demo.

Leggi le differenze rispetto alla specifica del progetto…

ruolo: "revisione del codice, prima del commit"

API trait Rust, strumenti, slash, eventi

Esegui un DAG: debug, funzionalità, revisione

Frammenti di prompt iniettati condizionalmente

Elenca o cambia agenti, progetto / utente / integrato

Agenti, competenze, plugin e workflow sono markdown + YAML su disco. Sei agenti integrati vengono forniti con Aura; i livelli progetto, utente e globale vengono uniti all'avvio. Modifica un file, l'agente ricostruisce il suo prompt senza riavviare.