mcp-proxy

Name: mcp-proxy
Author: imandra-ai

@imandra-ai

リポジトリ

mcp-proxy について

Proxy for remote MCP servers

#mcp #mcp-server

基本情報

カテゴリ

その他

ランタイム

node

トランスポート

stdio

公開者

imandra-ai

設定

以下の設定を使って、このサーバーを MCP 対応クライアントに追加してください。

{
  "mcpServers": {
    "mcp-proxy-imandra-ai": {
      "command": "npx",
      "args": [
        "-y",
        "github:imandra-ai/mcp-proxy"
      ]
    }
  }
}

ツール

ツールは検出されませんでした

ツールは README から自動的に抽出されます。メンテナーは ## Tools という見出しの下に記載することで、このタブに反映できます。

概要

What is mcp-proxy?

mcp-proxy is a basic proxy for remote Model Context Protocol (MCP) servers. It makes the Streamable HTTP transport usable by clients that only support the stdio transport by offering a stdio facade. It is currently specialised to Imandra Universe MCP servers with first-class support for Imandra Universe authentication, but is designed to be easy to generalise.

How to use mcp-proxy?

Recommended usage is via npx (included with npm). Run npx -y github:imandra-ai/mcp-proxy. Configuration is done through environment variables: IMANDRA_API_KEY (your Imandra API key), IMANDRA_MCP_SERVER (server name/ID), and optionally REMOTE_URL (overrides the default remote URL). An example configuration for Cursor/Windsurf is provided in the README.

Key features of mcp-proxy

Proxies remote MCP servers to a local stdio interface.
Makes Streamable HTTP transport available to stdio-only clients.
Provides first-class authentication support for Imandra Universe.
Configurable via environment variables.
Can be run directly with npx without installation.

Use cases of mcp-proxy

Use Imandra Universe MCP servers in any client that supports stdio.
Test remote MCP servers locally without modifying the client.
Bridge Streamable HTTP servers to older or simpler MCP tools.
Develop and debug MCP servers with a locally running proxy.

FAQ from mcp-proxy

What does mcp-proxy do?

mcp-proxy acts as a bridge, converting between the Streamable HTTP transport and stdio transport, allowing clients that only support stdio to use remote MCP servers that speak Streamable HTTP.

How do I configure mcp-proxy?

Configuration is through environment variables: IMANDRA_API_KEY (your Imandra API key), IMANDRA_MCP_SERVER (the server name ID), and optionally REMOTE_URL (to use a custom remote MCP server URL). These are typically set in an env field in your MCP server configuration file.

Is mcp-proxy only for Imandra Universe?

The proxy is currently specialised for Imandra Universe MCP servers with first-class authentication support, but the README states it would be easy to generalise to other remote MCP servers.

What are the runtime requirements for mcp-proxy?

mcp-proxy requires Node.js with npm (which provides npx). It can be run on demand using npx without a separate installation step.

Can I use mcp-proxy with my own remote MCP server?

Yes. Set the REMOTE_URL environment variable to the URL of your remote MCP server, and the proxy will use that URL instead of the default Imandra Universe endpoint.