Facilitates the use of Streamable HTTP transport for Model Context Protocol (MCP) servers by providing a stdio facade.
This proxy acts as an intermediary for remote Model Context Protocol (MCP) servers, particularly those using the Streamable HTTP transport. It simplifies client interaction by offering a stdio facade, making it easier for a wider range of clients to access MCP servers. While currently optimized for Imandra Universe MCP servers and their authentication, its design allows for easy generalization to other setups.
主要功能
011 GitHub stars
02Supports Imandra Universe authentication.
03Configurable via environment variables.
04Provides a stdio facade for Streamable HTTP transport.
05Can be easily generalized for other MCP servers.
使用案例
01Enabling clients that only support stdio to interact with Streamable HTTP MCP servers.
02Facilitating local development and testing of MCP servers.
03Simplifying integration with Imandra Universe MCP servers.
