• ERFOLG
  • FEHLER
  • MANUELL
  • NEUSTART

Engine-Execution-Traces mit Ihrer KI validieren

Verbinden Sie QA Arbiter mit Ihrem Agenten. Sobald die Verbindung steht, kann Ihr Agent die Ausführungspfade prüfen, um die korrekte Code-Funktion zu beweisen.

Fragen Sie die KI zu dieser Seite

Kurzantwort

Wie zwinge ich meine KI dazu, einen mathematischen Trace der Code-Ausführung zu erstellen?

Geben Sie Ihrem Agenten Zugriff auf die Ausführungsprotokolle und Design-Spezifikationen. Er nutzt Diagnose-Tools, um den tatsächlichen Laufzeitpfad mit Ihrer erwarteten Logik abzugleichen. So erhalten Sie einen verifizierbaren Korrektheitsnachweis.

Validierungsergebnisse

So werden Ihre Ergebnisse ausgegeben.

Die KI verarbeitet den Trace und kategorisiert das Ergebnis basierend auf dem Logik-Check.

ERFOLG

Mathematischer Beweis

Die KI bestätigt, dass der Ausführungspfad mit Ihrem Design übereinstimmt. Sie erhalten einen sauberen Trace, der die korrekte Logik belegt.

FEHLER

Logik-Abweichung

Der Agent findet die Stelle, an der der Code von der Spezifikation abweicht. Er zeigt genau den Schritt auf, in dem die Ausführung den Design-Test nicht bestanden hat.

MANUELL

Manuelle Prüfung

Ist der Trace mehrdeutig oder die Logik zu komplex, markiert die KI dies, damit Sie die Rohprotokolle selbst untersuchen können.

NEUSTART

Trace-Verfeinerung

Falls die Protokolle unvollständig sind, fordert die KI detailliertere Ausführungsdaten an, um die Validierung abzuschließen.

Der Ablauf

Was Ihre KI tut, wenn ein Test fehlschlägt.

Der Agent geht von der Fehlererkennung direkt zur formalen Beweisführung über.

  1. Abweichung identifizieren

    Der Agent analysiert den fehlgeschlagenen Test und vergleicht den tatsächlichen Ausführungspfad mit Ihrem Design.

    diagnose_test_failure

  2. Trace abbilden

    Die KI erstellt eine schrittweise mathematische Darstellung der Bewegung der Engine durch den Code.

    diagnose_test_failure

  3. Gegen Spezifikationen prüfen

    Der Agent gleicht jede Zustandsänderung im Trace mit Ihren formalen Anforderungen ab.

    diagnose_test_failure

  4. Beweis liefern

    Die KI erstellt einen Abschlussbericht, der exakt zeigt, wo der Ausführungspfad gegen das Design verstoßen hat.

    diagnose_test_failure

Probieren Sie es

Kopieren Sie diese Vorlagen.

Nutzen Sie diese Prompts, um den Validierungsprozess zu starten.

Startpunkte

Ersetzen Sie den Text in den Klammern durch Ihre spezifischen Dateipfade oder Testnamen.

QA Arbiter Connector

Alles bereit. Wählen Sie Ihren MCP-Client und folgen Sie den Einrichtungsschritten.

Connector-Linkhttps://edge.vinkius.com/vk_preview_X69TXPHsdjAfNffcyFTnx1dWNUhv3RVHL0mSZM7p/mcp

Claude Desktop

Folgen Sie den Schritten unten, um sich in Sekunden zu verbinden.

  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.
Konfiguration · claude_desktop_config.jsonKopieren
{
  "mcpServers": {
    "qa-arbiter-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_X69TXPHsdjAfNffcyFTnx1dWNUhv3RVHL0mSZM7p/mcp"
    }
  }
}
In den Chat kopieren04

  • Führe eine Trace-Validierung für die Engine-Logik in /src/core/engine.py durch.

  • Nutze das Diagnose-Tool, um herauszufinden, warum der letzte Test in der Suite fehlgeschlagen ist.

  • Vergleiche den Ausführungspfad des aktuellen Builds mit der Design-Spezifikation in /docs/spec.md.

  • Erstelle einen mathematischen Beweis dafür, dass sich die State Machine in der Engine korrekt verhält.

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

Starten Sie hier

QA Arbiter einmal verbinden, dann fragen.

Verknüpfen Sie einfach Ihren bevorzugten Client mit dem MCP. Ihre Zugangsdaten bleiben verschlüsselt und Sie können sofort mit der Abfrage von Traces beginnen.

QA Arbiter mit Ihrer KI verbinden

FAQ

Verhalten der Validierung

  • 01

    Kann die KI den Code automatisch reparieren?

    Nein. Die KI identifiziert die Abweichung und liefert den Trace, aber die eigentliche Code-Korrektur müssen Sie selbst vornehmen.

  • 02

    Ändert die KI meine Design-Spezifikationen?

    Nein. Die KI betrachtet Ihre Spezifikationen als absolute Wahrheit und berichtet nur darüber, wie der Code davon abweicht.

  • 03

    Was passiert, wenn den Ausführungsprotokollen Daten fehlen?

    Die KI wird Ihnen mitteilen, dass sie den Trace nicht vervollständigen kann, und Sie bitten, detailliertere Protokolle bereitzustellen.

  • 04

    Kann ich das mit jeder IDE nutzen?

    Ja, sofern Ihre IDE ein MCP-kompatibler Client ist, wie etwa Cursor oder VS Code.

  • 05

    Löscht die KI meine Testdateien?

    Nein. Die KI liest lediglich die Traces und Protokolle aus, um die Analyse durchzuführen.

  • Weitere Fragen zu QA Arbiter? Die Connector-Seite liefert Antworten. Alle Funktionen des QA Arbiter Connectors ansehen

Verbinde QA Arbiter mit Claude, Cursor, ChatGPT & mehr