Hard delete request: io.github.ai-needl/needl-ai (all versions)

[SDE-Tushar-Funity]

Hard Delete Request

Server name: io.github.ai-needl/needl-ai
Versions: All versions (1.0.0 through 1.0.4)

Reason

We have renamed our MCP server to io.github.ai-needl/askneedl and published it fresh under the new name. We have already soft-deleted all versions of io.github.ai-needl/needl-ai via mcp-publisher status --status deleted --all-versions.

We are requesting a hard delete to fully remove the old server entry from the registry database, as soft-delete still keeps it in the database.

Ownership Verification

We are the owners of the io.github.ai-needl namespace (GitHub org: ai-needl) and can verify ownership via GitHub OAuth.

New server entry

The replacement server is already published at io.github.ai-needl/askneedl.

[pree-dew]

@SDE-Tushar-Funity Registry by design doesn't support hard delete, deleted servers are not visible as a default behaviour it is only visible on passing specific query parameter include_deleted

[rdimitrov]

Thanks for raising this and apologies for the delay!

As @pree-dew noted above, the registry doesn't support hard delete by design - soft-deleted servers are hidden by default and only surface when include_deleted=true is explicitly passed. So your existing soft-delete is doing what you want. Closing this out now 👍

Thanks again to @pree-dew for helping triage the delete/deprecate backlog. 🙏