source_edit
Replace a line range in a source file with new content; the original is automatically backed up to .keil-mcp-backups/ for recovery.
Instructions
Edit a source file; original is automatically backed up to .keil-mcp-backups/.
Args: file: path to source file start_line / end_line: 1-based inclusive line range to replace new_content: replacement text (can be multi-line)
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"file": "<file>",
"start_line": "<start_line>",
"end_line": "<end_line>",
"new_content": "<new_content>"
},
"name": "source_edit"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file | Yes | ||
| end_line | Yes | ||
| start_line | Yes | ||
| new_content | Yes |