Repository URL and package identifier mismatch

[jae-jeon]

In data/seed.json, the name io.github.zueai/mcp-manager points to https://github.com/zueai/mcp-manager. However its package points to https://pypi.org/project/mcp-manager, which is a pypi package with the following home repository: https://github.com/nstebbins/mcp-manager.

Based on the version, I believe zueai/mcp-manager is indeed the server listed here. What kind of server name to package identifier validation is in place?

[allenfeng8]

I raised a Issue in the repo and my understanding is that the main repo is pointing to a fork version. Hopefully this solved it.

[tadasant]

If someone is keen to make a PR polishing it up, would be happy to accept. Note that we don't really use this seed data for anything besides assisting with local development of the registry.

[rdimitrov]

@tadasant - btw I was thinking to propose if we should reduce its size so PR affecting it don't imply big changes