get_diagnostics
Get type-checker errors grouped by file and mapped to enclosing symbols, using the project's declared checker. Use after edits instead of a build; output is bounded and states what it truncated.
Instructions
Type-checker errors for this project, grouped by file, each mapped to its enclosing symbol. Runs the checker the project already declares (tsc / mypy / pyright) - no new dependency. Use after an edit instead of shelling out to a build: the output is bounded and says exactly what it truncated.
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": "get_diagnostics"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| checker | No | Force a checker instead of detecting it. | |
| project | No | Project name/path (default: active). | |
| timeout | No | Seconds before giving up (default 180). | |
| file_path | No | Restrict to one file (suffix match). | |
| max_files | No | Files reported (default 15). | |
| max_per_file | No | Diagnostics kept per file (default 10). |