Dbg Start
dbg_startStarts the debugger on the current input file, defaulting to the platform’s local debugger; specify a debugger module or timeout for remote or time-limited debugging.
Instructions
Start the debugger on the current input file. The local debugger is
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": "dbg_start"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| timeout | No | Timeout in seconds | |
| debugger | No | Debugger module name; default is the local debugger for this platform ('linux'/'win32'/'macos'). Pass e.g. 'gdb' for remote debugging. | |
| instance_id | No | REQUIRED whenever more than one database is open (from open_database's result or list_databases()); optional only while exactly one instance is live. |