delete_file
Remove files from the filesystem using a security-gated MCP server that applies policy controls and generates verifiable decision receipts.
Instructions
Delete a file from the filesystem
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | File path to delete |
Implementation Reference
- src/demo-server.ts:120-122 (handler)The handler implementation for the `delete_file` tool. Note that this is a demo server, so it just returns a string rather than actually performing the filesystem operation.
case 'delete_file': resultText = `[demo] Deleted file: ${args.path || '/example.txt'}`; break; - src/demo-server.ts:50-57 (schema)The tool registration and schema definition for `delete_file` in the `TOOLS` array.
name: 'delete_file', description: 'Delete a file from the filesystem', inputSchema: { type: 'object', properties: { path: { type: 'string', description: 'File path to delete' } }, required: ['path'], }, },