create_file
Create a new file in a remote Typleaf project, auto-creating parent folders and immediately committing and pushing the change to git.
Instructions
Create a new file in a Typleaf project. Auto-creates parent folders. Commits and pushes immediately.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| content | Yes | File content | |
| file_path | Yes | Path for the new file (e.g. 'chapters/intro.typ') | |
| 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. | |
| commit_message | No | Git commit message |