• SUCCESS
  • FAILURE
  • HUMAN
  • RETRY

AIでエンジンの実行トレースを検証する方法 QA Arbiter MCP

QA Arbiterをエージェントに接続してください。接続後、エージェントは実行パスを調査し、コードが意図通りに動作しているかを証明できます。

このページについてAIに聞く

すぐに答え

AIにコード実行の数学的なトレースを出力させるには?

エージェントに実行ログと設計仕様へのアクセス権を与えます。エージェントは診断ツールを使用して、実際の実行パスと期待されるロジックを照合し、検証可能な正当性の証明を提示します。

検証結果

結果の分類

AIがトレースを処理し、ロジックチェックに基づいて結果を分類します。

SUCCESS

数学的証明

AIが実行パスが設計と一致していることを確認します。ロジックが正しいことを示す明確なトレースが得られます。

FAILURE

ロジックの不一致

エージェントがコードと仕様の乖離を特定します。実行が設計テストに失敗した正確なステップを突き止めます。

HUMAN

手動レビュー

トレースが曖昧な場合やロジックが複雑すぎる場合、AIはユーザーが直接生ログを調査できるようフラグを立てます。

RETRY

トレースの精査

ログの情報が不足している場合、AIは検証を完了するために、より詳細な実行データの提供を求めます。

ワークフロー

テスト失敗時にAIが行うこと

エージェントは、失敗の検知から、なぜそれが起こったのかという正式な証明の提示へと移行します。

  1. 乖離の特定

    エージェントは失敗したテストを確認し、実際の実行パスと意図した設計を比較します。

    diagnose_test_failure
  2. トレースのマッピング

    AIは、コード内におけるエンジンの動きを、ステップごとの数学的な表現として構築します。

    diagnose_test_failure
  3. 仕様との照合

    エージェントは、トレース内のすべての状態変化を正式な要件と照らし合わせて検証します。

    diagnose_test_failure
  4. 証明のレポート

    AIは、実行トレースが設計のどの部分に違反したかを正確に示す最終レポートを出力します。

    diagnose_test_failure

試してみる

以下のプロンプトをコピーして開始

これらのプロンプトを使用して、検証プロセスを開始できます。

出発点

括弧内のテキストを、実際のファイルパスやテスト名に書き換えて使用してください。

QA Arbiter Connector

準備完了です。MCPクライアントを選択し、セットアップ手順に従ってください。

コネクタリンクhttps://edge.vinkius.com/vk_preview_X69TXPHsdjAfNffcyFTnx1dWNUhv3RVHL0mSZM7p/mcp

Claude Desktop

以下の手順で数秒で接続できます。

  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.
設定 · claude_desktop_config.jsonコピー
{
  "mcpServers": {
    "qa-arbiter-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_X69TXPHsdjAfNffcyFTnx1dWNUhv3RVHL0mSZM7p/mcp"
    }
  }
}
チャットにコピー04
  • /src/core/engine.py 内のエンジンロジックに対してトレース検証を実行して。

  • 診断ツールを使用して、スイート内の最後のテストが失敗した理由を特定して。

  • 現在のビルドの実行トレースを /docs/spec.md の設計仕様と比較して。

  • エンジンのステートマシンが正しく動作していることを数学的に証明して。

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

ここから始める

QA Arbiterを一度接続すれば、すぐに質問できます

お使いのクライアントをMCPにリンクするだけです。認証情報は暗号化され、すぐにトレースの解析を依頼できます。

QA ArbiterをAIに接続する

FAQ

検証の動作について

  • 01

    AIはコードを自動的に修正できますか?

    いいえ。AIは不一致を特定しトレースを提供しますが、実際のコード修正はユーザーが行う必要があります。

  • 02

    AIが設計仕様を変更することはありませんか?

    ありません。AIは仕様を絶対的な正解として扱い、コードが仕様からどのように逸脱しているかのみを報告します。

  • 03

    実行ログにデータが不足している場合はどうなりますか?

    AIはトレースを完了できない旨を伝え、より詳細なログの提供を求めます。

  • 04

    任意のIDEで使用できますか?

    はい。CursorやVS Codeなど、MCPに対応したクライアントであれば使用可能です。

  • 05

    AIがテストファイルを削除することはありませんか?

    ありません。AIは分析のためにトレースとログを読み取るだけです。

  • QA Arbiterについて他に質問がありますか?コネクタのページで回答しています。 QA Arbiter Connectorの全機能を見る

『QA Arbiter』を Claude、Cursor、ChatGPT などに接続