search_pdf_go_page
Navigate to a specific page in PDF search results using a session ID to access targeted content efficiently.
Instructions
Go to specific page of search results.
Args:
search_id: Search session ID from previous search
page_number: Page number to go to (1-indexed)
Returns:
Specified page of search results or error messageInput Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| search_id | Yes | ||
| page_number | Yes |
Output Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |
Implementation Reference
- pdf_tools_mcp/server.py:790-821 (handler)The handler for the 'search_pdf_go_page' tool, which navigates to a specific page of search results for a given session.
@mcp.tool() async def search_pdf_go_page(search_id: str, page_number: int) -> str: """Go to specific page of search results. Args: search_id: Search session ID from previous search page_number: Page number to go to (1-indexed) Returns: Specified page of search results or error message """ with cache_lock: session = search_sessions.get(search_id) if not session: return f"Error: Search session '{search_id}' not found or expired" session.last_accessed = datetime.now() total_pages = (len(session.results) + session.page_size - 1) // session.page_size if page_number < 1 or page_number > total_pages: return f"Error: Page number {page_number} is out of range (1-{total_pages})" session.current_page = page_number start_idx = (session.current_page - 1) * session.page_size end_idx = min(start_idx + session.page_size, len(session.results)) current_results = session.results[start_idx:end_idx] result = f"Search ID: {search_id}\n" result += f"Pattern: {session.pattern}\n" result += f"Total matches: {session.total_results}\n"