广告合作
MCP.so
登录

MCP Proxy

@imandra-ai

代码仓库

基本信息

分类

其他

传输方式

stdio

作者

imandra-ai

关于 MCP Proxy

Proxy for remote MCP servers

#mcp#mcp-server

MCP Proxy 配置

使用下面的配置,将此服务器添加到你的 MCP 客户端。

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

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.

常见问题

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.

评论

其他 分类下的更多 MCP 服务器

Handl

Handl speaks the Model Context Protocol. Your whole billing operation — projects, invoices, clients, reports, approvals — as tools any AI assistant can call, inside your autonomy rules.

MaxKB

1Panel-dev

🔥 MaxKB is an open-source platform for building enterprise-grade agents. 强大易用的开源企业级智能体平台。

22.0K

Lemon.io

lemon-io

Request dedicated senior developers to work on your project, write job descriptions, and prep technical interviews — all without leaving your Claude chat. Just describe what you need, and Lemon.io MCP does the rest. 1–3

MCP Toolbox for Databases

googleapis

MCP Toolbox for Databases is an open source MCP server for databases.

15.9K

Volley.sh

Volley

A good sequence diagram can solve almost any communication problem in engineering. Volley lets your agent write them as plain text, with the real request and response payloads on every arrow. It checks its own syntax wi

广告合作