jumpToFirstError
Jump to the first error in the workspace by retrieving diagnostics and opening the file with decoration. Returns false if no error is found.
Instructions
Jump to first workspace error (getDiagnostics→openFile→decoration). Returns {found:false} if none.
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": "jumpToFirstError"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||