AIで要件の矛盾を解消する：Hawking Boundary Proverの使い方

AIはHawking Boundary Proverを使用して、技術仕様書内の重複や相反する制約をスキャンします。衝突箇所をフラグとして提示し、処理を進める前に優先順位の選択を求めます。これにより、セッション中に発生したすべての技術的なトレードオフを明確に把握できます。

1. 01

   摩擦の検知

   AIが技術ドキュメントを読み込み、制約同士が衝突する箇所を探します。エラーの原因となる論理的な重複を特定します。

   validate_hawking_boundary
2. 02

   矛盾のフラグ立て

   エージェントは要件が対立している特定のポイントを分離します。これらを解決不可能な個別の衝突として提示します。

   validate_hawking_boundary
3. 03

   選択の強制

   どの優先順位を優先するか定義されるまで、AIは先に進むことを拒否します。これにより、エージェントが中途半端な妥協案を捏造するのを防ぎます。

   validate_hawking_boundary
4. 04

   決定の固定

   エージェントは選択された優先順位をプロジェクトのコンテキストに書き込みます。これにより、今後のプロンプトでも技術的な境界が維持されます。

   validate_hawking_boundary

Hawking Boundary Prover Connector

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

コネクタリンクhttps://edge.vinkius.com/vk_preview_yMN6urkUYACm1x77B80uVAhuEDOIE9U6QYD0dyI8/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 — Hawking Boundary Prover capabilities are ready to use.

設定 · claude_desktop_config.jsonコピー

{
  "mcpServers": {
    "hawking-boundary-prover-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_yMN6urkUYACm1x77B80uVAhuEDOIE9U6QYD0dyI8/mcp"
    }
  }
}

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

MCPをクライアントに接続するのは一度だけで済みます。接続後は、エージェントがすぐに技術的な境界の検証を開始できます。

• 01

  AIが元の要件を勝手に変更することはありませんか？

  ありません。AIは矛盾を特定し、ユーザーに判断を仰ぐだけです。明示的な指示なしにソースドキュメントを書き換えることはありません。

• 02

  AIが自分で矛盾を解決することはできますか？

  できません。このMCPの目的は、AIが勝手な推測を行うのを防ぐことです。AIは処理を停止し、どの優先順位を優先すべきかユーザーの決定を待ちます。

• 03

  あらゆる技術ドキュメントで動作しますか？

  はい。AIクライアントがそのファイル形式を読み取ることができれば、MCPはその中の論理を処理できます。

• 04

  判断を下さなかった場合はどうなりますか？

  エージェントは境界部分で停止したままになります。優先順位が設定されるまで、矛盾する要件に依存するタスクは進行されません。

• 05

  下された決定は記録されますか？

  はい。解決された優先順位を記録するため、セッション全体を通じてエージェントは一貫した論理的境界を維持できます。

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