mcp-proxy

mcp-proxy

リモートのModel Context Protocol（MCP）サーバー向けの基本的なプロキシです。stdioファサードを提供することで、より多くのクライアントでStreamable HTTPトランスポートを利用できるように設計されています。

現在は Imandra Universe MCP サーバーに特化しています（Imandra Universe 認証を標準でサポートしています）が、汎用化も容易です。

使い方

npm に付属する npx の使用を推奨します。同様の機能は、ほかの JavaScript ツールチェーン（例：bunx、yarn dlx）でも利用できます。

npx -y github:imandra-ai/mcp-proxy

設定

設定には環境変数を使用できます。通常は、MCP サーバー設定ファイルの env フィールドで指定します。

• IMANDRA_API_KEY - Imandra API キー。Imandra Universeから取得できます。
• IMANDRA_MCP_SERVER - 使用する Imandra Universe MCP サーバーの名前／ID（例：reasoner_gateway）。利用可能な MCP サーバーはImandra Universe ギャラリーで確認できます。
• REMOTE_URL - リモート MCP サーバーの URL（例：開発環境またはローカル環境へのデプロイの場合）。指定しない場合、https://api.imandra.ai/v1beta1/tools/mcp/${IMANDRA_MCP_SERVER} がデフォルトで使用されます。

Cursor／Windsurf の設定例

{
  "mcpServers": {
    "imandra-universe/reasoners": {
      "command": "npx",
      "env": {
        "IMANDRA_API_KEY": "my_api_key",
        "IMANDRA_MCP_SERVER": "reasoner_gateway"
      },
      "args": [
        "-y",
        "[email protected]:imandra-ai/mcp-proxy"
      ]
    }
  }
}