mcp-proxy

Name: mcp-proxy
Author: imandra-ai

本地服务

github.com/imandra-ai开发工具273 周前更新

代码仓库

关于 mcp-proxy

mcp-proxy 是面向远程 MCP 服务的代理，适用于需要将 Streamable HTTP 服务接入仅支持 stdio 的客户端的场景。目前专门适配 Imandra Universe，并内置其认证支持。

主要功能

01将 Streamable HTTP 转为 stdio 接口
02连接远程 MCP 服务
03支持 Imandra Universe 认证
04通过环境变量配置服务

适用场景

01让仅支持 stdio 的客户端使用远程服务
02连接 Imandra Universe MCP 服务
03指定自部署或开发用远程端点

MCP 相关

该代理将远程 MCP 服务的 Streamable HTTP 传输封装为 stdio 接口，供更广泛的 MCP 客户端连接。支持配置 Imandra Universe 服务及认证信息。

#mcp #mcp-server

配置

本地服务的配置在各客户端中通用，复制后粘贴到客户端的 MCP 配置文件即可。

mcp.json · 通用配置

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

启动命令npx -y github:imandra-ai/mcp-proxy

本地服务需要在你的电脑上安装运行环境（如 Node.js 18+）。各客户端的配置文件位置不同，请参考客户端文档。

安装包

npmgithub:imandra-ai/mcp-proxystdio

工具

还没有获取到工具列表

本地服务需要在你的电脑上运行后才能读取工具，维护者暂未提供工具列表。

详细介绍

mcp-proxy

一个用于远程 Model Context Protocol (MCP) 服务的基础代理，通过提供 stdio 门面，让更多客户端可以使用 Streamable HTTP 传输。

目前，该代理专门适配 Imandra Universe MCP 服务（原生支持 Imandra Universe 身份验证），但很容易扩展为通用代理。

用法

建议通过 npx 使用，该工具随 npm 一同提供。其他 JavaScript 工具链也提供类似功能（例如 bunx、yarn dlx）。

npx -y github:imandra-ai/mcp-proxy

配置

可以通过环境变量进行配置，通常在 MCP 服务配置文件的 env 字段中指定。

IMANDRA_API_KEY - 你的 Imandra API 密钥，可从 Imandra Universe 获取。
IMANDRA_MCP_SERVER - 要使用的 Imandra Universe MCP 服务的名称/ID（例如 reasoner_gateway）。可在 Imandra Universe gallery 中查找可用的 MCP 服务。
REMOTE_URL - 远程 MCP 服务的 URL（例如用于开发或本地部署）。如果未指定，默认值为 https://api.imandra.ai/v1beta1/tools/mcp/${IMANDRA_MCP_SERVER}。

Cursor/Windsurf 配置示例

{
  "mcpServers": {
    "imandra-universe/reasoners": {
      "command": "npx",
      "env": {
        "IMANDRA_API_KEY": "my_api_key",
        "IMANDRA_MCP_SERVER": "reasoner_gateway"
      },
      "args": [
        "-y",
        "[email protected]:imandra-ai/mcp-proxy"
      ]
    }
  }
}

支持 Markdown

登录后评论