Proxy for remote MCP servers
Proxy for remote MCP servers
This is currently specialised to the Imandra Universe MCP servers (with first-class support for Imandra Universe authentication), but would be easy to generalise.
Compare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.
{
"mcpServers": {
"proxy-imandra-ai": {
"command": "npx",
"args": ["-y", "github"],
"env": {
"IMANDRA_API_KEY": "your-value",
"IMANDRA_MCP_SERVER": "your-value",
"REMOTE_URL": "your-value"
}
}
}
}Add to claude_desktop_config.json, then restart Claude Desktop.
| Variable | Description | Required |
|---|---|---|
| IMANDRA_API_KEY | Credential the server authenticates with. | Yes |
| IMANDRA_MCP_SERVER | Configuration value read at startup. | Optional |
| REMOTE_URL | Endpoint or connection string the server talks to. | Yes |
Read, search and edit files inside allowed directories with the Model Context Protocol reference Filesystem server.
Retrieve version-aware library documentation and code examples with Context7 MCP, using resolve-library-id and query-docs.
Use Microsoft’s Playwright MCP server to navigate pages, inspect accessibility snapshots, fill forms and capture browser screenshots.
Connect GitHub MCP to repositories, issues and pull requests with GitHub’s hosted service or a locally run server.
Use the Supabase MCP server to inspect database schemas, query project data and retrieve docs through a project-scoped connection.
Search Linear issues and projects, inspect work context and manage updates through Linear’s hosted MCP server with OAuth.