Not a duplicate?
We list io.github.ooo0ooo/lean-lsp-mcp as a copy of io.github.ooo0ooo/lean-lsp-mcp-d0t6h9, so its page leads there. If it is a server
of its own, tell us. A person checks it, and once we agree it gets its own page back.
We list io.github.ooo0ooo/lean-lsp-mcp as a copy of io.github.ooo0ooo/lean-lsp-mcp-d0t6h9, so its page leads there. If it is a server
of its own, tell us. A person checks it, and once we agree it gets its own page back.