Critical Risk →

delete_file

Delete a file from a repository.

How to control delete_file ↓

What delete_file does on GitHub Repos Manager MCP Server

AI agents call delete_file to permanently remove resources in GitHub Repos Manager MCP Server — typically in cleanup and lifecycle workflows. It does its job in a single call, and there is no undo.

Critical Risk

Why delete_file needs a policy

This tool permanently removes a file from a repository without a reversibility mechanism (no undo, no soft-delete). While the impact is scoped to a single file rather than an entire repository, file deletion is irreversible and constitutes data destruction. An AI agent with unchecked access could remove critical source code, configuration files, or documentation.

From the tool's definition Tool name: 'delete_file' with description 'Delete a file from a repository.' The verb 'delete' indicates irreversible removal of data.

Documented attack patterns abuse exactly the kind of access delete_file gives an agent:

How to control delete_file

PolicyLayer is an MCP gateway — it sits between your AI agents and GitHub Repos Manager MCP Server, and nothing reaches the server without passing your rules. This is the rule we recommend for delete_file:

policy.json
{
  "version": "1",
  "default": "deny",
  "hide": [
    "delete_file"
  ]
}

delete_file disappears from the agent's tool list entirely, and any attempt to call it is denied. The rest of the server keeps working.

  1. Create a free account and register GitHub Repos Manager MCP Server — nothing to install.
  2. Add this policy — paste it, or build it visually.
  3. Point your MCP client (Claude, Cursor, anything) at your gateway URL.
RESTRICT THIS TOOL →

Free to start. No card required.

Related tools and policies

Go deeper

Questions about delete_file

What does the delete_file tool do? +

Delete a file from a repository. It is categorised as a Destructive tool in the GitHub Repos Manager MCP Server MCP Server, which means it can permanently delete or destroy data. Block by default and require explicit approval.

How do I enforce a policy on delete_file? +

Register the GitHub Repos Manager MCP Server MCP server in PolicyLayer and add a rule for delete_file: allow, deny, rate-limit, or require approval. Point your MCP client at the PolicyLayer proxy URL and the rule is enforced on every call, before it reaches GitHub Repos Manager MCP Server. Nothing to install.

What risk level is delete_file? +

delete_file is a Destructive tool with critical risk. Critical-risk tools should be blocked by default and only enabled with explicit human approval.

Can I rate-limit delete_file? +

Yes. Add a rate_limit block to the delete_file rule in your PolicyLayer policy. For example, setting max: 10 and window: 60 limits the tool to 10 calls per minute. Rate limits are tracked per agent session and reset automatically.

How do I block delete_file completely? +

Set action: deny in the PolicyLayer policy for delete_file. The AI agent will receive a policy violation error and cannot call the tool. You can also include a reason field to explain why the tool is blocked.

What MCP server provides delete_file? +

delete_file is provided by the GitHub Repos Manager MCP Server MCP server (kurdin/github-repos-manager-mcp). PolicyLayer sits as a proxy in front of this server to enforce policies before tool calls reach the server.

Enforce policy on every GitHub Repos Manager MCP Server tool call.

Start from GitHub Repos Manager MCP Server, add the rest of your stack, and see everything your agents can call. Then put policy on all of it.

Free to start. No card required.

84 GitHub Repos Manager MCP Server tools catalogued and risk-classified — across an index of 43,000+ MCP servers.

// GET IN TOUCH

Have a question or want to learn more? Send us a message.

Message sent.

We'll get back to you soon.