Check whether OVERLEAF_COOKIE is set and still a valid, logged-in session.

List your Overleaf projects (id, name, owner, last-updated timestamp).

Download an Overleaf project and extract it into dest_dir (overwrites existing files).

Upload or overwrite a single file in an Overleaf project.

Creates any missing remote folders in remote_path. Joins the realtime channel to resolve folder ids, so this is slower than overleaf_pull.

Push every locally-changed file under local_dir into an Overleaf project.

Diffs local files against the current remote content (byte-for-byte) and uploads only what differs or is new locally. Does not delete remote files that were removed locally — use overleaf_delete_file for that.

Delete a file from an Overleaf project.

Trigger a compile and return its status (and the error log on failure).

Compile an Overleaf project and download the resulting PDF to dest_path.