mcp-proxy

@imandra-ai

About mcp-proxy

Proxy for remote MCP servers

Config

Add this server to your MCP-compatible client using the configuration below.

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

Tools

No tools detected

Fetch the live tool list by running this server in a temporary sandbox using the button above.

Overview

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.

Frequently asked questions

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.

Comments

Basic information

More Other MCP servers

Codelf

unbug

A search tool helps dev to solve the naming things problem.

14.2K

Blender

ahujasid

Open-source MCP to use Blender with any LLM

23.6K

Sequential Thinking

modelcontextprotocol

Model Context Protocol Servers

88.2K

Figs, Relationship Expert

Figs O'Sullivan, LMFT

Couples therapist Figs O'Sullivan (LMFT, 17 years, endorsed by Sue Johnson, creator of EFT) inside your AI. Ask relationship questions answered from his clinical writing, name the pattern in a fight, get a three-step rep

Unity MCP ✨

justinpbarnett

Unity MCP acts as a bridge between AI assistants and your Unity Editor. Give your LLM tools to manage assets, control scenes, edit scripts, and automate tasks within Unity.

12.2K