SERVER

mcp-proxy

Rank #55,894

mcp.so/mcp-proxy/imandra-ai

Proxy for remote MCP servers

First listed
Apr 30, 2025
Last publish date
—
OVERVIEW

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.

STANDING
#55,894of 137,492 tracked serversTop 50%

Ranks ahead of 81,598 of 137,492 servers on MCP Toplist.

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

MCP Toplist: Top 50% of 137,492
Markdown
[![MCP Toplist](https://mcptoplist.com/badge/mcp.so%2Fmcp-proxy%2Fimandra-ai.svg)](https://mcptoplist.com/server/mcp.so%2Fmcp-proxy%2Fimandra-ai)
HTML
<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.

REGISTRIES

Listed on 1 registry

ORGANIZATION

imandra-ai

Organization
Servers in org
1
Versions across org
0
VERSIONS

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.

FAQ

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.
Used in projects

Do you run this server?

Add to a project

Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.

EXPLORE