get_diagnostics
Run type-checkers (tsc, mypy, pyright) to identify errors and map each diagnostic to its enclosing AST symbol for precise code analysis.
Instructions
Execute type-checker (tsc, mypy, pyright) and map errors to enclosing AST symbols. Read-only.
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 | Checker (tsc, mypy, pyright) | |
| file_path | No | Filter by file path | |
| max_files | No | Max files reported | |
| timeout_ms | No | Timeout in ms | |
| max_per_file | No | Max errors per file | |
| reduce_output | No | Shrink long output to a receipt |