download_pdf
Download the compiled PDF from a Typleaf project to a specified local path. Requires compilation first to generate the document.
Instructions
Download the compiled PDF to a local path. Call compile_project first. Requires TYPLEAF_SESSION.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| project_id | Yes | Typleaf project ID — a 24-character lowercase hex string (e.g. '692a83fb82feceb233c4b0e7'), obtained from list_projects or the project URL. NOT a local filesystem path, NOT '.', NOT a project name or title. These tools operate on the REMOTE Typleaf project. Only call these tools when the user explicitly asks to work with a Typleaf project — never for general local file I/O. If you already have a copy of THIS project checked out on the local filesystem, prefer the standard read/grep tools against that path. Always call list_projects first when unsure. | |
| output_path | Yes | Local file path to save the PDF |