- SUCCESS
- FAILURE
- HUMAN
- RETRY
すぐに答え
AIにコード実行の数学的なトレースを出力させるには?
エージェントに実行ログと設計仕様へのアクセス権を与えます。エージェントは診断ツールを使用して、実際の実行パスと期待されるロジックを照合し、検証可能な正当性の証明を提示します。
検証結果
結果の分類
AIがトレースを処理し、ロジックチェックに基づいて結果を分類します。
SUCCESS
数学的証明
AIが実行パスが設計と一致していることを確認します。ロジックが正しいことを示す明確なトレースが得られます。
FAILURE
ロジックの不一致
エージェントがコードと仕様の乖離を特定します。実行が設計テストに失敗した正確なステップを突き止めます。
HUMAN
手動レビュー
トレースが曖昧な場合やロジックが複雑すぎる場合、AIはユーザーが直接生ログを調査できるようフラグを立てます。
RETRY
トレースの精査
ログの情報が不足している場合、AIは検証を完了するために、より詳細な実行データの提供を求めます。
ワークフロー
テスト失敗時にAIが行うこと
エージェントは、失敗の検知から、なぜそれが起こったのかという正式な証明の提示へと移行します。
乖離の特定
エージェントは失敗したテストを確認し、実際の実行パスと意図した設計を比較します。
diagnose_test_failureトレースのマッピング
AIは、コード内におけるエンジンの動きを、ステップごとの数学的な表現として構築します。
diagnose_test_failure仕様との照合
エージェントは、トレース内のすべての状態変化を正式な要件と照らし合わせて検証します。
diagnose_test_failure証明のレポート
AIは、実行トレースが設計のどの部分に違反したかを正確に示す最終レポートを出力します。
diagnose_test_failure
試してみる
以下のプロンプトをコピーして開始
これらのプロンプトを使用して、検証プロセスを開始できます。
出発点
括弧内のテキストを、実際のファイルパスやテスト名に書き換えて使用してください。
QA Arbiter Connector
準備完了です。MCPクライアントを選択し、セットアップ手順に従ってください。
https://edge.vinkius.com/vk_preview_X69TXPHsdjAfNffcyFTnx1dWNUhv3RVHL0mSZM7p/mcpClaude Desktop
以下の手順で数秒で接続できます。
- 1In Claude Desktop, open Settings → Connectors.
- 2Click “Add custom connector” and paste the connector link above as the remote MCP server URL.
- 3Click Add and start a new chat — QA Arbiter capabilities are ready to use.
{
"mcpServers": {
"qa-arbiter-mcp": {
"url": "https://edge.vinkius.com/vk_preview_X69TXPHsdjAfNffcyFTnx1dWNUhv3RVHL0mSZM7p/mcp"
}
}
}/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 などに接続
