overleaf-git-sync

What problem does it solve?

This Skill prevents agents from accidentally overwriting newer Overleaf changes by enforcing a Git-based freshness-and-verification workflow before any push back to Overleaf.

Core Features & Use Cases

• Pull-then-review remote changes: Agents import the latest Overleaf snapshot into the tool-managed branch, inspect staged results, and commit the merge when needed.
• Push only committed, conflict-free edits: Agents push only after Git indicates a clean worktree and no unresolved merge conflicts, reducing the risk of stale or conflicting uploads.
• Verify remote state after publishing: Agents rely on the tool’s post-push snapshot verification so remote and local normalized content match before declaring success.
• Use-case: An agent revises a multi-file LaTeX manuscript while the user may have edited the same project in Overleaf; this Skill guides the agent to safely incorporate any new remote edits and only then apply its own changes.

Quick Start

Run ol pull, review staged remote changes if any by committing the merge, then edit files, commit your changes, and finish with ol push --dry-run followed by ol push.