nav_definition
Navigate to the definition of a code symbol using file, line, and column. Provides ground-truth results from the live language server.
Instructions
Ground-truth 'go to definition' from the live language server, always reflecting current on-disk contents. Use after orienting with map_search/map_neighbors, or directly when you already have an exact file:line:col (resolve(nodeId) gives you one from a map node ID).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| col | No | 1-based column (UTF-16 units) | |
| file | Yes | Repo-relative path, posix separators | |
| line | Yes | 1-based line | |
| tokenBudget | No | Max tokens for the response. Lists are truncated to fit, with a note saying what was dropped and how to get it back. |