overleaf-setup

Goal

Configure automatic Overleaf push so that every .tex edit triggers a push without further agent involvement. The skill ends when the hook is written to settings.local.json and the user has been told to restart Claude Code.

---

Step 1 — Install

uv tool install overleaf-for-agents

Verify:

leaf --version

---

Step 2 — Authenticate

leaf login

A browser window opens. Tell the user: "Log in to Overleaf and wait for your project dashboard to appear. Let me know when ready."

Verify after confirmation:

leaf list

Fallback — if leaf login fails (no Chrome / CDP error):

1. Ask the user to open https://www.overleaf.com, log in, then go to DevTools → Application → Cookies → copy the value of overleaf_session2 (starts with s%3A)
2. Write the value to ~/.olauth
3. Retry leaf list

---

Step 3 — Choose or create project, and local directory

Ask the user whether they want to sync to an existing project or create a new one.

Existing project: run leaf list, show the output, ask which project to use. Record PROJECT_ID (24-char hex).

New project: ask for a project name, then run:

leaf create "NAME"

Record PROJECT_ID from the output.

Also ask which local directory contains the LaTeX files. Record LATEX_DIR (absolute path).

---

Step 4 — Init

leaf init --project PROJECT_ID --dir LATEX_DIR

This writes leaf.toml into LATEX_DIR. The push script copies it into staging on each run.

---

Step 5 — Write the hook

Determine SKILL_DIR (absolute path to ${CLAUDE_PLUGIN_ROOT}/skills/overleaf-sync) and DB_PATH (absolute path to .toulmin/argument.db).

Merge the following into .claude/settings.local.json, preserving any existing hooks:

{
  "hooks": {
    "Stop": [{
      "hooks": [{
        "type": "command",
        "command": "uv run SKILL_DIR/scripts/overleaf-push.py --dir LATEX_DIR --db DB_PATH --require-statement-cites",
        "timeout": 120,
        "statusMessage": "Checking citations and pushing to Overleaf..."
      }]
    }]
  }
}