• SUCCÈS
  • ÉCHEC
  • HUMAIN
  • RETRY

Valider les traces d'exécution avec votre IA

Connectez QA Arbiter à votre agent. Une fois lié, votre agent peut inspecter les chemins d'exécution pour prouver que le code fonctionne comme prévu.

Demandez à l'IA à propos de cette page

Réponse rapide

Comment forcer mon IA à fournir une trace mathématique de l'exécution du code ?

Donnez accès aux journaux d'exécution et aux spécifications de conception à votre agent. Il utilisera des outils de diagnostic pour comparer le chemin réel d'exécution avec la logique attendue. Vous obtenez ainsi une preuve de conformité vérifiable.

Résultats de validation

Où arrivent vos résultats.

L'IA analyse la trace et catégorise le résultat selon la vérification logique.

SUCCÈS

Preuve mathématique

L'IA confirme que le chemin d'exécution correspond à votre conception. Vous obtenez une trace propre prouvant la validité de la logique.

ÉCHEC

Erreur de logique

L'agent identifie l'écart entre le code et la spécification. Il cible l'étape exacte où l'exécution a échoué au test de conception.

HUMAIN

Révision manuelle

Si la trace est ambiguë ou la logique trop complexe, l'IA vous signale qu'une inspection directe des journaux bruts est nécessaire.

RETRY

Affinage de la trace

Si les journaux sont incomplets, l'IA demande des données d'exécution plus précises pour terminer la validation.

Le flux

Ce que fait votre IA en cas d'échec d'un test.

L'agent passe de la détection d'une erreur à la fourniture d'une preuve formelle de sa cause.

  1. Identifier l'écart

    L'agent analyse le test échoué et compare le chemin d'exécution réel à votre conception initiale.

    diagnose_test_failure

  2. Cartographier la trace

    L'IA construit une représentation mathématique étape par étape du mouvement du moteur dans le code.

    diagnose_test_failure

  3. Vérifier les spécifications

    L'agent contrôle chaque changement d'état dans la trace par rapport à vos exigences formelles.

    diagnose_test_failure

  4. Rapporter la preuve

    L'IA génère un rapport final indiquant précisément où la trace d'exécution a violé la conception.

    diagnose_test_failure

Essayez

Copiez ces exemples pour commencer.

Utilisez ces prompts pour lancer le processus de validation.

Points de départ

Remplacez le texte entre crochets par vos chemins de fichiers ou vos noms de tests spécifiques.

QA Arbiter Connector

Tout est prêt. Choisissez votre client MCP et suivez les instructions de configuration.

Lien du connecteurhttps://edge.vinkius.com/vk_preview_X69TXPHsdjAfNffcyFTnx1dWNUhv3RVHL0mSZM7p/mcp

Claude Desktop

Suivez les étapes ci-dessous pour vous connecter en quelques secondes.

  1. 1In Claude Desktop, open Settings → Connectors.
  2. 2Click “Add custom connector” and paste the connector link above as the remote MCP server URL.
  3. 3Click Add and start a new chat — QA Arbiter capabilities are ready to use.
Configuration · claude_desktop_config.jsonCopier
{
  "mcpServers": {
    "qa-arbiter-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_X69TXPHsdjAfNffcyFTnx1dWNUhv3RVHL0mSZM7p/mcp"
    }
  }
}
Copiez dans le chat04

  • Lance une validation de trace sur la logique du moteur dans /src/core/engine.py.

  • Utilise l'outil de diagnostic pour trouver pourquoi le dernier test de la suite a échoué.

  • Compare la trace d'exécution de la version actuelle avec la spécification de conception dans /docs/spec.md.

  • Fournis une preuve mathématique que la machine à états du moteur se comporte correctement.

  • Claude
  • ChatGPT
  • Cursor
  • VS Code
  • Windsurf
  • Claude Code
  • JetBrains
  • Cline

Commencez ici

Connectez QA Arbiter une fois, puis interrogez.

Liez simplement votre client habituel au MCP. Vos identifiants restent chiffrés et vous pouvez immédiatement commencer à demander des traces.

Connecter QA Arbiter à votre IA

FAQ

Fonctionnement de la validation

  • 01

    L'IA peut-elle corriger le code automatiquement ?

    Non. L'IA identifie l'écart et fournit la trace, mais c'est à vous d'implémenter la correction du code.

  • 02

    L'IA modifie-t-elle mes spécifications de conception ?

    Non. L'IA considère vos spécifications comme la référence absolue et se contente de signaler les écarts du code.

  • 03

    Que se passe-t-il si les journaux d'exécution sont incomplets ?

    L'IA vous informera qu'elle ne peut pas terminer la trace et vous demandera de fournir des journaux plus détaillés.

  • 04

    Puis-je utiliser cela avec n'importe quel IDE ?

    Oui, à condition que votre IDE soit un client compatible MCP comme Cursor ou VS Code.

  • 05

    L'IA supprime-t-elle mes fichiers de test ?

    Non. L'IA se contente de lire les traces et les journaux pour effectuer son analyse.

  • D'autres questions sur QA Arbiter ? La page du connecteur y répond. Voir toutes les capacités du connecteur QA Arbiter

Connectez QA Arbiter à Claude, Cursor, ChatGPT et d'autres