MCP Proxy

Example Use Cases

• 1

  Interact with Imandra Universe MCP servers using a stdio interface.

• 2

  Use Streamable HTTP transport with clients that do not natively support it.

• 3

  That require authenticated access to Imandra Universe MCP servers via API keys.

Description

mcp-proxy is a basic proxy designed to make the Streamable HTTP transport of MCP servers usable by a wider range of clients by providing a stdio interface. It is specialized for Imandra Universe MCP servers, including first-class support for Imandra Universe authentication, but can be generalized for other MCP servers. This proxy facilitates easier integration and usage of MCP servers in various environments.