()
| 718 | } satisfies ToolDef<InputSchema, Output>) |
| 719 | |
| 720 | function pickLineFormatInstruction(): string { |
| 721 | return LINE_FORMAT_INSTRUCTION |
| 722 | } |
| 723 | |
| 724 | /** Format file content with line numbers. */ |
| 725 | function formatFileLines(file: { content: string; startLine: number }): string { |