AIで要求事項とエビデンスの対応表を自動生成する方法

AIが規制要件と設計文書を読み込み、両者の直接的な関連性を特定します。工学的な論理を用いて、特定の機能が特定のルールを実際に満たしているかを確認。要件とエビデンスが構造化された対応表として出力されます。

1. 01

   要件の解析

   エージェントが規制テキストを読み取り、具体的かつ実行可能な制約事項を抽出します。

   validate_engineering_reasoning
2. 02

   設計仕様のスキャン

   AIが設計機能の中から、技術的な実装内容を探し出します。

   validate_engineering_reasoning
3. 03

   論理の検証

   設計機能が、要件の意図を実際に満たしているかをエージェントが確認します。

   validate_engineering_reasoning
4. 04

   不一致の検出

   要件が満たされていない箇所や、論理が不十分な箇所をAIが特定します。

   validate_engineering_reasoning

Engineering Reasoning Prover Connector

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

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

設定 · claude_desktop_config.jsonコピー

{
  "mcpServers": {
    "engineering-reasoning-prover-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_evVhqNwraXjDg5N7DIzjotyeEAiGwB67YHPz1Pel/mcp"
    }
  }
}

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

リンクをクリックしてMCPをクライアントに接続してください。認証情報は暗号化され、接続後すぐにプロンプトを使用できます。

• 01

  AIは実際の設計コードを書くことができますか？

  いいえ。AIは既存の設計機能と要件を分析し、それらの関連性を見つけ出すことのみを行います。

• 02

  AIは元の文書を書き換えますか？

  いいえ。AIは対応表を生成するためにファイルを読み取りますが、元のソースファイルを編集または上書きすることはありません。

• 03

  矛盾する要件がある場合はどうなりますか？

  AIは論理的な矛盾をフラグ立てして通知します。設計上の矛盾をどのように解決するかは、人間が判断する必要があります。

• 04

  あらゆる形式の文書で使用できますか？

  AIは、お使いのクライアントが読み取り可能なテキストベースの技術文書やスプレッドシートに対応しています。

• 05

  AIがコンプライアンスの承認を行うことはできますか？

  いいえ。AIはエビデンスとマッピングを提供しますが、最終的な検証は人間のエンジニアが行う必要があります。

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