mcp.hjlabs.in

Home / Servers / GitHub API / repos_delete

Delete a repository

An MCP tool from the GitHub API server, hosted on mcp.hjlabs.in.

Delete a repository Deleting a repository requires admin access. If an organization owner has configured the organization to prevent members from deleting organization-owned repositories, you will get a 403 Forbidden… [DELETE /repos/{owner}/{repo}]

Name on the gateway: github_api__repos_delete · may change things.

Parameters

NameTypeDescription
owner requiredstringThe account owner of the repository. The name is not case…
repo requiredstringThe name of the repository without the .git extension. The…

How to call it

Through the Smart Gateway, any client can run it by name with call_tool, or let the gateway find it with search_tools:

call_tool arguments
{
  "name": "github_api__repos_delete",
  "arguments": {
    "owner": "…",
    "repo": "…"
  }
}

Or connect the GitHub API server directly, which lists 1,221 tools including this one:

Run in your terminal
claude mcp add --transport http hj-github-api https://mcp.hjlabs.in/mcp/github-api \
  --header "Authorization: Bearer YOUR_API_KEY"

Try asking

Use the delete a repository tool with owner set to ….

More from GitHub API