Aura | Runtime d'agents de code

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 lignes

v1.0.0 · Agent de développement autonome

Modifications silencieuses et non examinées

L'assistant, la recherche, la mémoire et le journal d'audit réunis en un seul binaire.

Chasses aux bugs, code standard, refactorisations et intégration répartis sur sept outils.

Rien ne change tant que vous n'avez pas donné votre accord

Bien sûr. Voici ce que je souhaite faire.

Pouvez-vous m'aider à corriger cette petite erreur dans mon code ?

Regarder le fichier que vous voulez dire

aucune affirmation de productivité non mesurée

le premier test échoue, Vérifier revient à Plan

le deuxième correctif passe, l'objectif se ferme

fermer la session à l'expiration du jeton

5 étapes, révisées après replanification

aucun message d'opérateur lors de cette exécution

chaque posture affiche son modèle et sa frontière sortante

l'état final indique que l'objectif est satisfait, chaque critère est vert

les cartes deviennent un seul état de boucle dans Aura

la boucle reste centrale tandis que le domaine l'entoure

les nœuds d'outil, de politique, de qualité, de mémoire et d'audit ne bougent pas

les revendications de fichier empêchent deux agents de modifier le même chemin

la compilation passe, les tests échouent, réparation, les tests passent, l'audit se termine

vérification-audit contrôle la chaîne à la fin

une instruction change le prochain appel d'outil sans réinitialisation

l'appel de correctif se déroule comme prévu

le prochain appel cible d'abord le test en échec

la boucle se maintient avant le prochain appel d'outil

la session se termine et le travail est préservé

le dernier point de contrôle est restauré en place

Le runtime, en tant que parties de la boucle

les fournisseurs et outils optionnels restent externes là où ils sont sélectionnés

chaque couche montre un contrôle concret et son résultat

les outils intégrés, MCP et d'extension se rejoignent au même point d'entrée

portée, permission, analyse du shell, point de contrôle, assainissement, audit

un test échoué revient dans la boucle, puis passe

il s'arrête lorsque l'objectif est atteint, lorsque vous l'arrêtez, ou lorsqu'il ne peut pas continuer honnêtement

Corrigez la connexion, ajoutez un test, expliquez cette partie. Aucune commande à mémoriser.

Il examine vos propres fichiers et notes, pas un exemple générique.

Une petite cible qu'il peut vérifier une fois le travail terminé.

Quand l'objectif que vous avez défini est réellement atteint.

D'une partie aux parties qu'elle touche.

Uniquement ce que vous lui permettez de voir.

Le fichier et la ligne exacts derrière son plan.

Le plan se met à jour au fur et à mesure

Les recherches sûres se font automatiquement.

Les modifications et commandes attendent votre accord.

Désactivez tout ce que vous ne voulez pas.

Il reste dans votre projet, sauf si vous autorisez plus.

Un point de restauration avant les modifications

Une copie séparée protège le travail principal

Il choisit un modèle et bascule si l'un est indisponible.

Les longs travaux s'exécutent pendant que vous continuez.

Un spécialiste passe le travail à un autre.

Les longues tâches s'exécutent pendant que vous travaillez.

Les revendications de fichiers empêchent les chevauchements silencieux.

Comment le travail a été suspendu et repris.

Les vérifications ultérieures révèlent toute modification.

la conversation s'élargit en une boucle qui continue de travailler vers l'objectif

la barre latérale continue de disparaître

laissez-moi regarder, modifier, puis vérifier que ça tient

une action d'oubli visible la supprime quand vous voulez

utilisez des tabulations, pas des espaces, dans ce projet

un assistant sur votre ordinateur garde la réflexion avec vous, un assistant cloud reçoit ce que vous envoyez

utilisez l'assistant que vous choisissez

les revendications de fichiers signifient que deux sessions ne modifient pas silencieusement le même chemin

l'accès reste dans le projet, sauf si vous autorisez plus

chaque demande devient une petite carte d'objectif, pas une réponse de chat

Chaque demande devient un objectif qu'Aura peut vérifier

Les exécute pour s'assurer qu'elles passent

4 nouvelles vérifications, toutes passent

replanifier selon les nouvelles informations

chaque étape montre la progression et le plan peut changer

il pointe vers les fichiers exacts qui ont façonné le plan

la chaîne d'audit peut être vérifiée plus tard pour détecter toute modification

toutes les vérifications et tests ont réussi

Rien ici ne peut être modifié discrètement.

le contexte reste chaud, vous n'avez donc pas à réexpliquer le projet

avant que le mauvais chemin ne se termine

les points de contrôle sont capturés avant les modifications de fichiers pris en charge

vos fichiers, modifications, vérifications et historique restent au même endroit

Assistance pour agent de codage et opérateur. Les métriques de démonstration sont illustratives.

Terminal, recherche, lint, test, git, et plus.

Se souvient de votre codebase et du contexte de l'équipe.

Des agents spécialisés collaborent sur différents aspects.

Chaque étape est enregistrée avec horodatage.

Les politiques, vérifications et tests s'exécutent toujours.

Examinez les diffs, demandez des modifications, approbation finale.

Rejouez toute session bit pour bit quand une révision est nécessaire.

Lire retry.ts, bug de délai d'attente tracé

Extraire garde + limiter les nouvelles tentatives

Agents autonomes qui écrivent du code et gardent des reçus

pour gérer les délais d'attente réseau, les réponses 5xx et les conditions idempotentes sûres. Helper pur, entièrement testé unitairement.

Groupes d'algorithmes par type de données

Aura est fourni sous forme de binaire statique unique, sans dépendances d'exécution. Support entreprise, développement personnalisé et formation disponibles auprès de Dweve.

# résolu à l'exécution ; AURA_MODEL remplace le projet

fusionné, rechargement à chaud à l'enregistrement

La couche la plus élevée gagne. Toujours.

Démarre en toute sécurité sans toucher à un fichier.

Par projet, par machine, par environnement

PARAMÈTRES PAR DÉFAUT vs VOS REMPLACEMENTS

Tout ce que vous pouvez définir en TOML, modèle, niveaux de permission par outil, chemin du journal d'audit, profil nommé, vous pouvez l'épingler par projet, le remplacer par machine ou le basculer par variable d'environnement. Touchez à l'un de ces fichiers, l'agent les surveille et reconstruit son prompt système sans redémarrer la session. Pas de redémarrage, pas de contexte perdu.

Aura résout la configuration sur quatre couches : les paramètres intégrés, votre `~/.dweve/config.toml` au niveau utilisateur, le `.aura/config.toml` du projet et toute variable d'environnement `AURA_*`. Elles fusionnent par clé, chaque couche remplaçant celle du dessous ; les variables d'environnement se trouvent au sommet, de sorte qu'un simple export peut changer le comportement d'Aura pour un travail CI, une branche, une démo.

Vous lisez les diffs par rapport au cahier des charges du projet…

Rechargement à chaud, CLAUDE.md / .aura/*

API de trait Rust, outils, slash, événements

Exécuter un DAG : débogage, fonctionnalité, revue

Fragments de prompt injectés conditionnellement

Lister ou changer d'agents, projet / utilisateur / intégré

Les agents, compétences, plugins et workflows sont du markdown + YAML sur disque. Six agents intégrés sont fournis avec Aura ; les niveaux projet, utilisateur et global sont fusionnés au démarrage. Modifiez un fichier, l'agent reconstruit son prompt sans redémarrer.

passage lint, avertissements promouvables

portes, échec rapide et correction sur place

`/quality` exécute fmt, clippy, compilation, tests, tests de documentation et un audit de sécurité en séquence. Les échecs incluent des traces de pile et du contexte de diff. Les avertissements ne bloquent pas par défaut ; vous pouvez les promouvoir en portes par projet.

Stdio JSON-RPC 2.0, sous-processus géré, même pipeline de permissions et d'audit que les intégrés.

drapeaux de capacité, négociés par serveur

Les serveurs MCP sont déclarés dans la configuration d'Aura : commande, arguments, environnement. Au démarrage de la session, Aura les lance comme sous-processus gérés, exécute la poignée de main de capacité typée depuis `dweve-protocol::mcp::capability`, et enregistre la surface découverte dans le même registre d'outils que celui des intégrés. Les ressources, outils, prompts, capacités d'échantillonnage et de journalisation passent tous par le même bus de messages typé de `dweve-protocol::mcp::message`. Les outils externes ne sont pas fiables par défaut ; ils héritent des niveaux de permission par outil, de la journalisation d'audit, du filtrage PII et de la protection par disjoncteur.

Le client MCP d'Aura est construit sur `dweve-protocol::mcp`, le message MCP typé, la capacité, le transport et la surface d'outils que le reste de Dweve utilise également. Connectez-vous à n'importe quel serveur MCP via stdio JSON-RPC 2.0, négociez les capacités, et exposez ses outils / prompts / ressources aux côtés des intégrés d'Aura. Même porte de permission, même piste d'audit, même disjoncteur.