PDF Tools MCP Server

Instructions

Args:
    search_id: Search session ID from previous search

Returns:
    Information about the search session

Implementation Reference

• pdf_tools_mcp/server.py:833-860 (handler)

  The handler implementation for the `search_pdf_info` tool.

  async def search_pdf_info(search_id: str) -> str:
      """Get information about a search session.
      
      Args:
          search_id: Search session ID from previous search
      
      Returns:
          Information about the search session
      """
      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
          
          result = f"Search Session Information:\n"
          result += f"Search ID: {search_id}\n"
          result += f"PDF Path: {session.pdf_path}\n"
          result += f"Pattern: {session.pattern}\n"
          result += f"Total matches: {session.total_results}\n"
          result += f"Current page: {session.current_page}/{total_pages}\n"
          result += f"Results per page: {session.page_size}\n"
          result += f"Last accessed: {session.last_accessed.strftime('%Y-%m-%d %H:%M:%S')}\n"
          
          return result