File size: 1,017 Bytes
ee0c434
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
{
    "name": "extract_pdf_section",
    "description": "Extracts a specified section from a PDF file and saves it as a new PDF.\n\nextract_pdf_section('input.pdf', 2, 5, 'output.pdf')",
    "parameters": {
        "type": "object",
        "properties": {
            "pdf_path": {
                "type": "string",
                "description": "The path to the PDF file."
            },
            "start_page": {
                "type": "integer",
                "description": "The starting page of the section to extract."
            },
            "end_page": {
                "type": "integer",
                "description": "The ending page of the section to extract."
            },
            "output_path": {
                "type": "string",
                "description": "The path to save the extracted section as a new PDF file."
            }
        },
        "required": [
            "pdf_path",
            "start_page",
            "end_page",
            "output_path"
        ]
    }
}