AIで設計仕様書の監査を自動化する：Brunel Engineering Prover

AIがBrunel Engineering Proverを使用して設計ドキュメントをスキャンし、曖昧な表現や不整合な公差を検出します。これらの要件を厳格な統合契約としてマッピングすることで、後工程での不具合を防止します。技術的な欠落や境界条件の衝突を明確なリストとして提示します。

1. 01

   曖昧さの特定

   テキストをスキャンし、数値化できない形容詞や曖昧な設計目標を抽出します。数学的な精度を欠く用語を分離します。

   validate_brunel_engineering
2. 02

   要件の数値化

   記述的な表現を具体的な技術公差に変換します。これにより、テストや製造のための基準が確立されます。

   validate_brunel_engineering
3. 03

   インターフェースのマッピング

   異なるサブシステム間の関係を定義します。統合契約が数学的に妥当であることを確認します。

   validate_brunel_engineering
4. 04

   矛盾のフラグ立て

   新しい公差を既存のコンポーネント仕様と照合します。一部の変更が他の部品に悪影響を及ぼす箇所を特定します。

   validate_brunel_engineering

Brunel Engineering Prover Connector

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

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

設定 · claude_desktop_config.jsonコピー

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

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

MCPを使い慣れたクライアントにリンクさせるだけです。認証情報は暗号化され、すぐにファイルの監査を開始できます。

• 01

  AIは設計ドキュメントを自動的に書き換えますか？

  いいえ。AIは問題箇所を特定し、具体的な公差を提案しますが、公式の設計ファイルを更新するのはユーザー自身です。

• 02

  CADファイルには対応していますか？

  いいえ。このツールはテキストベースの設計仕様書およびドキュメントを処理するためのものです。

• 03

  元のファイルが書き換えられることはありますか？

  いいえ。AIはファイルを読み取るだけで、チャットインターフェース上でフィードバックを提供します。

• 04

  矛盾する公差はどのように処理されますか？

  矛盾を検出し、どの2つの仕様が数学的に両立しないのかを提示します。

• 05

  どのAIクライアントでも使用できますか？

  はい。お使いのクライアントがModel Context Protocol (MCP) に対応していれば使用可能です。

• Brunel Engineering Proverについて他に質問がありますか？ Brunel Engineering Prover Connectorの全機能を見る