Advertise
MCP.so
Sign In

MCP Proxy

@imandra-ai

Repository

Basic information

Category

Other

Transports

stdio

Author

imandra-ai

About MCP Proxy

Proxy for remote MCP servers

#mcp#mcp-server

MCP Proxy 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"
      ]
    }
  }
}

MCP Proxy tools

Tool list not available yet

This listing does not currently have a tool list to display. This does not mean the server has no tools; check its documentation for supported capabilities.

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.

Frequently asked questions

1

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.

2

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.

3

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.

4

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.

5

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

More Other MCP servers

Klarix Intelligence Engine

Klarix

B2B competitive intelligence, live sales battlecards, 5-axis ICP prospect fit scoring, and tech stack teardowns over MCP and REST with cited public-web evidence.

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

Health by Dr Brad

Dr Brad Stanfield

Health by Dr Brad works out a health plan from your own results: which screening is due at your age, and evidence-based suggestions, each with the reason and the published guideline or study behind it. Your record is one

EverArt

modelcontextprotocol

Model Context Protocol Servers

88.1K
Advertise