mcp-proxy
Rank #55,894mcp.so/mcp-proxy/imandra-ai
Proxy for remote MCP servers
mcp-proxy is a Model Context Protocol (MCP) server published by imandra-ai. It ranks #55,894 of 137,492 servers tracked on MCP Toplist, and its repository has 2 GitHub stars. mcp-proxy is listed on mcp.so, and ships as a single rolling release with no explicit version metadata. It was first listed on Apr 30, 2025.
Ranks ahead of 81,598 of 137,492 servers on MCP Toplist.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/mcp.so%2Fmcp-proxy%2Fimandra-ai)<a href="https://mcptoplist.com/server/mcp.so%2Fmcp-proxy%2Fimandra-ai"><img src="https://mcptoplist.com/badge/mcp.so%2Fmcp-proxy%2Fimandra-ai.svg" alt="MCP Toplist: Top 50% of 137,492" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
imandra-ai
Not versioned
This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- Who maintains mcp-proxy?
- mcp-proxy is maintained by imandra-ai, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is mcp-proxy listed on the Official MCP Registry?
- mcp-proxy is not on the Official MCP Registry. It is listed on mcp.so.
- How many versions does mcp-proxy have?
- mcp-proxy ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for mcp-proxy?
- The source code for mcp-proxy is hosted at github.com/imandra-ai/mcp-proxy.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.