La recherche trouve des mots. Dans un échange, vous parcourez tout le sujet.Vous obtenez une réponse tirée de la documentation et la page d'où elle vient.
exec0
Comment exec0 vérifie les appels d'outils
exec0 vérifie chaque appel d'outil d'un agent IA avant son exécution, sur l'appareil. Cette page détaille ce qui est vérifié, comment la décision tombe, quelles règles s'appliquent sans le modèle et ce qui est stocké où.
~5 min de lecture · exec0
Ce qui est vérifié
Outil
Vérifié
Remarque
Bash
oui
Commandes shell
Write, Edit, NotebookEdit
oui
Écriture et modification de fichiers
WebFetch, WebSearch
oui
Requêtes web
Outils MCP
oui
Chaque appel à un serveur MCP
Read, Grep, Glob
non
La lecture reste libre. Ce que l'agent a lu sert de contexte à la vérification suivante.
Sous-agents
oui
Leurs propres appels sont vérifiés comme les autres
Agent
État
Tous les agents de codage courants, dont Claude Code, Codex, Cursor et Gemini CLI
pris en charge
Ce que voit la vérification
Entrée
Contenu
Demande
La dernière demande envoyée à l'agent
Session
Appels précédents de la même session : nom et arguments abrégés
Contenu lu
Le résultat du dernier fichier, de la dernière page web ou réponse MCP lus par l'agent
Appel
Nom de l'outil et arguments de l'appel sur le point de s'exécuter
Décisions
Décision
Quand
Effet
allow
Aucun signe de dommage
L'appel s'exécute.
ask
Le cas est flou
La boîte de dialogue PoisonZero s'ouvre. L'appel attend votre réponse.
block
Une règle fixe s'applique, ou Melira AI voit un dommage évident
L'appel ne s'exécute pas. L'agent reçoit la raison.
C'est l'appel qui compte, pas celui qui le demande. Un appel clairement nuisible est bloqué, qu'il vienne d'une page web, d'un fichier, d'un texte injecté ou de votre propre demande, sans jamais demander avant. Dommage évident : données envoyées vers une destination tierce, fonction de sécurité désactivée, identifiants dérobés, destruction.
Règles fixes
Elles passent en premier, sans le modèle. Une correspondance bloque aussitôt, même quand le moteur ne tourne pas.
Règle
Exemple
Supprimer la racine, le dossier personnel ou des dossiers système
rm -rf sur /, ~ ou /usr
Formater ou écraser un disque, écrire dans /dev
dd vers un périphérique disque
Exécuter directement du code venu d'internet
curl … | sh
Lire le trousseau du système
Extraire les mots de passe enregistrés dans le trousseau
Envoyer un secret à un hôte tiers
Un jeton GitHub envoyé à example.com. Le même jeton envoyé à api.github.com n'est pas bloqué par cette règle.
Les appels parfois légitimes partent plutôt vers Melira AI avec une note :
Écrire les réglages et les hooks de l'agent
Écrire dans des dossiers d'identifiants, par exemple ~/.ssh/authorized_keys
Force push sur main ou master
Réglages
Vous réglez la façon dont exec0 intervient lors de l'onboarding.
Délais dépassés et erreurs
Situation
Résultat
Pas de réponse dans la boîte de dialogue avant l'échéance
block
Boîte de dialogue fermée ou ignorée
block
Règle fixe déclenchée pendant que le moteur est arrêté
Contenu de l'appel : commande, arguments, chemins de fichiers, contenu de fichier, URL
Sur l'appareil
Sur l'appareil
Demande, session, contenu lu
Sur l'appareil, par session
Sur l'appareil, par session
Appels autorisés (allow) : entrée dans le journal local, sans contenu
Sur l'appareil
Sur l'appareil
Interventions (block, ask) : entrée d'audit, sans contenu
Sur l'appareil et dans la console
Sur l'appareil
Une entrée d'audit ne contient que ces champs :
Champ
Contenu
Heure
Moment de l'intervention
Action
block ou ask
Outil
Uniquement le nom de l'outil, par exemple exec0:Bash
Raison
Nom de la règle fixe, ou Melira AI
Catégorie
Nom de la catégorie détectée
Valeur de danger
Valeur de 0 à 1, quand Melira AI décide
Jamais dans l'audit : commande, arguments, chemins de fichiers, contenus de fichiers, URL ni votre demande. En mode Private, l'audit ne va pas non plus à la console ; l'appareil ne récupère sa licence qu'environ tous les 30 jours.