Server Not Found

The server "mina-mcp-server" in organization "io.github.minaprotocol" could not be found.