overleaf-sync

Synchronize local academic paper copies with Overleaf projects via Git bridge.

2|Updated Aug 12, 2025
One-click install
npx skills add https://github.com/goupup-ai/miccai25 --skill overleaf-sync-goupup-ai
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: overleaf-sync
Source: https://github.com/goupup-ai/miccai25/tree/main/ARIS/skills/overleaf-sync
Command: npx skills add https://github.com/goupup-ai/miccai25 --skill overleaf-sync-goupup-ai

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill eliminates version drift and manual copy-paste work between local ARIS paper working copies (used for audits and local editing) and Overleaf cloud projects used for collaborative editing, ensuring both copies stay aligned without risking lost work.

Core Features & Use Cases

  • Two-way synchronization: Pull changes from Overleaf to local or push local edits to Overleaf using the official Git bridge.
  • Conflict and security guards: Includes pre-commit hooks to block accidental Overleaf token leaks, TTY checks for secure setup, and conflict resolution protocols to avoid overwriting collaborator work.
  • Use case: A research team can run ARIS claim and citation audits on their local paper copy while a co-author edits the draft in Overleaf, syncing changes safely between both environments.

Quick Start

Use the overleaf-sync skill to pull the latest Overleaf edits into your local paper directory for review before running ARIS audits.

Frequently Asked Questions about overleaf-sync

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I sync local LaTeX paper files with Overleaf without losing collaborator edits?

Two-way sync between local LaTeX paper files and Overleaf uses the official Git bridge to pull cloud edits and push local changes. Conflict detection protocols prevent accidental overwrites of collaborator work.

Why do I need to sync Overleaf projects with my local academic writing workflow?

Syncing Overleaf projects with local academic writing workflows eliminates version drift and manual copy-paste work. It ensures local audit tools and cloud collaborative editing stay aligned without risking lost drafts.

How do I pull the latest changes from Overleaf into my local paper directory?

Pulling the latest changes from Overleaf into a local paper directory uses the Overleaf Git bridge. This action downloads cloud edits for review before running local ARIS audits or editing.

Does Overleaf Git sync protect my authentication tokens from accidental leaks?

Overleaf Git sync includes security guards with pre-commit hooks to block accidental authentication token leaks. TTY checks ensure secure setup during the two-way synchronization process.

What is the best way to run local ARIS audits while co-authors edit the draft in Overleaf?

The best way to run local ARIS audits while co-authors edit in Overleaf is two-way synchronization. Pull cloud edits into the local copy for review, then push local changes back safely.

What happens if there are conflicting edits between my local paper copy and the Overleaf cloud project?

Conflicting edits between local paper copies and Overleaf cloud projects trigger conflict detection protocols. These guards prevent accidental overwrites and help resolve version drift safely during sync.