mcp-proxy

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.