Refresh the project list from your Overleaf account (uses the session cookie). Run after creating a new project.

Fuzzy-search known projects by title or ID. Returns ranked matches with IDs and whether a local workspace exists.

Report auth state: git token present, session cookie present, last sync time, project count, workspace count.

List all projects from the last sync (title, ID, last-modified, access level).

Clone a project into a visible local folder (full working tree: .tex, .cls, .bst, images, etc.) and register it so reads/writes route there.

git pull (--ff-only) the registered workspace to freshen it from Overleaf.

Show uncommitted changes in the registered workspace (unified diff + untracked files) for review before pushing.

Stage (all, or the given paths), commit, and push the registered workspace back to Overleaf. Explicit — the only tool that pushes workspace edits.

Return git commit history for a project ({sha, author, date, message, changedFiles}). Uses the workspace if present, else a temp clone.

Restore a workspace to a prior commit as UNCOMMITTED changes (review with diff_local, then push_local). mode "restore" = git checkout ; "revert" = undo commits since .

List files in a project (workspace or temp clone), optionally filtered by extension.

Read a file from a project.

List LaTeX \section{…} headings in a file (title, level, line).

Extract the body of one LaTeX section by title.

Overview of a project: file count, total size, source (workspace/temp), and dirty state if a workspace.

Write a whole file. With a workspace: writes only (review + push_local). Without: commits + pushes immediately (commitMessage required).

Replace one LaTeX section body, preserving the heading. Same push semantics as write_file.