Submit

mcp-proxy

@imandra-ai

Proxy for remote MCP servers
Overview

what is mcp-proxy?

mcp-proxy is a proxy server designed for remote Model Context Protocol (MCP) servers, facilitating the use of Streamable HTTP transport for a wider range of clients by providing a stdio facade.

how to use mcp-proxy?

To use mcp-proxy, you can run it via npx with the following command: npx -y github:imandra-ai/mcp-proxy. Configuration is done through environment variables specified in your MCP server configuration file.

key features of mcp-proxy?

  • Acts as a proxy for remote MCP servers.
  • Supports Imandra Universe authentication.
  • Easy configuration through environment variables.

use cases of mcp-proxy?

  1. Connecting to remote MCP servers for data processing.
  2. Simplifying the interaction with Streamable HTTP transport for various clients.
  3. Facilitating development and testing with local or dev MCP server deployments.

FAQ from mcp-proxy?

  • What is the purpose of mcp-proxy?

mcp-proxy serves to make the Streamable HTTP transport accessible to a broader set of clients by acting as a proxy for remote MCP servers.

  • How do I configure mcp-proxy?

Configuration is done through environment variables in your MCP server configuration file, including your Imandra API key and the MCP server name.

  • Is mcp-proxy specific to Imandra Universe?

While it is specialized for Imandra Universe MCP servers, it can be generalized for other MCP servers.

© 2025 MCP.so. All rights reserved.

Build with ShipAny.