read_manual_excerpt
Extract text excerpts from machine manuals (PDF or TXT) for consecutive-page reading. Specify the file name and optionally set max pages to control token usage.
Instructions
Read a text excerpt from a machine manual (PDF or TXT).
Use for consecutive-page reading; for targeted questions prefer
search_documentation. Start with max_pages=10 and increase only if
needed (pages consume tokens).
Args:
file_name: Manual filename in resources/machine_manuals/
(PDF or TXT)
max_pages: Maximum pages to extract (ignored for TXT files)
ctx: MCP context. Unused — see this module's docstring on logging.
Returns:
Extracted text from the manual.
Raises:
FileNotFoundError: If the manual does not exist.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"file_name": "<file_name>"
},
"name": "read_manual_excerpt"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file_name | Yes | ||
| max_pages | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |