Server published in Official Registry but not visible on github.com/mcp: io.github.mudrex/mcp-server

[DecentralizedJM]

Description

Our MCP server io.github.mudrex/mcp-server (Mudrex MCP Server) is successfully published and active in the Official MCP Registry, but does not appear in the GitHub MCP Registry at github.com/mcp.

Server Details

Server name: io.github.mudrex/mcp-server
Title: Mudrex MCP Server
Description: MCP server for Mudrex futures trading enabling AI agents to securely access data and risk tools.
Version: 1.0.0
Source repo: https://github.com/mudrex/mcp-server
Website: https://docs.trade.mudrex.com/docs/mcp
Transport: Streamable HTTP (https://mudrex.com/mcp)
Status: active since 2026-04-02

Evidence

Official Registry API returns it:

bash
curl "https://registry.modelcontextprotocol.io/v0.1/servers?search=mudrex"
Returns full server metadata with "status": "active" and "isLatest": true.

GitHub MCP Registry shows no results:

https://github.com/mcp?search=mudrex → No results

Request

Could the Mudrex MCP Server be ingested/synced to appear in the GitHub MCP Registry (github.com/mcp) alongside the 94+ servers currently listed there?

If automatic sync from the Official Registry is not yet available, can it be manually added?

Related

Discussion #506 — MCP server not showing up in github.com/mcp
Issue #1107 — Same problem reported by another publisher