quit_gdb
Detach the MCP plugin from gdb to end the debugging session. Optionally kill gdb and the debugged process, or leave gdb running by default.
Instructions
Detach the MCP plugin from gdb. With kill_gdb=True, also quit gdb itself (and with it the debugged process). Default leaves the externally launched gdb running.
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "quit_gdb"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| kill_gdb | No | ||
| session_id | No |