overleaf-sync

# Overleaf Sync Bridge a local paper directory with an Overleaf project so that: - **You** can keep editing in the Overleaf web UI (or share editing access with collaborators) - **ARIS** can read your changes, run audits (`/paper-claim-audit`, `/citation-audit`, `/auto-paper-improvement-loop`), and push fixes back This uses the official **Overleaf Git bridge** (Premium feature). The agent **never sees your authentication token** — you do the one-time auth manually so the token lives in macOS Keychain, not in chat history or `.git/config`. ## When to Use This Skill - You want to use Overleaf as the editing surface (better collaboration, shared with team) but still run ARIS pipelines locally - You want to take an existing local ARIS paper and push it to Overleaf for a co-author to edit - A collaborator made changes in Overleaf and you want to pull + diff them before continuing local work ## Constants - **CLONE_DIR_DEFAULT** = `paper-overleaf` (sibling of existing `paper/`, NOT inside `paper/`) - **CREDENTIAL_HELPER** = `osxkeychain` (macOS) / `manager` (Windows) / `cache` (Linux fallback) - **TOKEN_HANDLING** = **NEVER write token to disk, env var, or chat**. User pastes it once into the terminal credential prompt; the OS keychain stores it from then on. ## Architecture ``` ┌─────────────────┐ git pull/push ┌─────────────────┐ │ Local paper/ │ ◄─── rsync ──── ► │ paper-overleaf/ │ ◄──► Overleaf web │ (ARIS audits) │ │ (git...