広告掲載
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.

コメント

「その他」の他のコンテンツ

Sequential Thinking

modelcontextprotocol

Model Context Protocol Servers

88.2K

🚀 Model Context Protocol (MCP) Curriculum for Beginners

microsoft

This open-source curriculum introduces the fundamentals of Model Context Protocol (MCP) through real-world, cross-language examples in .NET, Java, TypeScript, JavaScript, Rust and Python. Designed for developers, it focuses on practical techniques for building modular, scalable,

16.7K

Yuppsy

Yuppsy MCP: build and publish real estate websites from your AI assistant. Yuppsy lets your AI assistant create live websites for real estate agents and individual property listings. You don't need a designer or any code

FastMCP v2 🚀

jlowin

🚀 The fast, Pythonic way to build MCP servers and clients.

26.0K

Activepieces

activepieces

AI Agents & MCPs & AI Workflow Automation • (~400 MCP servers for AI agents) • AI Automation / AI Agent with MCPs • AI Workflows & AI Agents • MCPs for AI Agents

23.2K
広告掲載