search_pdf_info
Retrieve detailed information about a PDF search session using the session ID from a previous search operation.
Instructions
Get information about a search session.
Args:
search_id: Search session ID from previous search
Returns:
Information about the search sessionInput Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| search_id | Yes |
Output Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |
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