PDF Tools MCP Server

Instructions

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

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"