Module read_files 

Implementation of the ReadFiles tool.

This module provides the implementation for the ReadFiles tool, which is used to read and display the contents of files, optionally with line numbers and line range filtering.

Structs

ReadFilesOutcome

Complete result of one batched read. The MCP adapter uses the per-file errors to return an honest isError: true result while retaining any successfully read content in the same response.

Functions

handle_tool_call

handle_tool_call_detailed