skills.rest
lightrain-a
lightrain-aCOMMUNITY
Explore all skills by this author →
GitHub

overleaf-sync

Synchronize a local ARIS paper directory with an Overleaf project via Git bridge.

Updated May 20, 2026
Search Tags:#git sync#rsync#overleaf#token security#latex collaboration#aris audits
One-click install
npx skills add https://github.com/lightrain-a/medtrace-aris --skill overleaf-sync-lightrain-a
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: overleaf-sync
Source: https://github.com/lightrain-a/medtrace-aris/tree/main/.vendor/aris/skills/overleaf-sync
Command: npx skills add https://github.com/lightrain-a/medtrace-aris --skill overleaf-sync-lightrain-a

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill solves the problem of keeping a local ARIS paper workflow in sync with a collaborative Overleaf project, without exposing your Overleaf authentication token to the agent.

Core Features & Use Cases

  • Two-way Git bridge sync: Pull Overleaf changes into your local paper/ workflow and push ARIS edits back to Overleaf for collaborators.
  • Token stays in your OS keychain: One-time manual auth via macOS Keychain (or platform helper), with guardrails to prevent token leakage.
  • Safety-first conflict handling: Uses a status diagnostic to detect remote-vs-local divergence and avoids destructive merge/reset/force operations.
  • Audit-aware workflows: Recommends re-running /paper-claim-audit and /citation-audit when pulled diffs affect numbers or new \cite{...} entries.

Quick Start

Run: setup <project-id> to prepare the Overleaf Git bridge for the project, then tell me “setup done” so I can verify and proceed with pull/push syncing.

Frequently Asked Questions about overleaf-sync

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

FAQPage Schema
How do I sync a local LaTeX paper directory with Overleaf?▼

To sync a local LaTeX paper directory with Overleaf, you use the official Overleaf Git bridge to pull remote changes and push local edits. This enables safe, two-way synchronization between your local `paper/` folder and the collaborative Overleaf project.

Can I use the Overleaf Git bridge without exposing my authentication token?▼

Yes, you can use the Overleaf Git bridge without exposing your authentication token. The setup stores your token securely in the OS keychain using a token-free remote configuration, ensuring token security during local repository synchronization.

How do I check for divergence between local edits and Overleaf before pushing?▼

You check for divergence between local edits and Overleaf by running a status diagnostic. This detects remote-versus-local divergence to avoid destructive merges, resets, or force operations, ensuring safe conflict handling during your LaTeX collaboration sync.

What is the best way to handle ARIS paper audits after pulling Overleaf changes?▼

The best way to handle ARIS paper audits after pulling Overleaf changes is to re-run the `paper-claim-audit` and `citation-audit` workflows. This is recommended when pulled diffs affect numbers or introduce new `\cite{...}` entries.

Does Overleaf sync support macOS Keychain for authentication setup?▼

Yes, Overleaf sync supports macOS Keychain for authentication setup. The guarded setup execution requires one-time manual auth via the macOS Keychain or a platform helper, establishing secure credentials for subsequent rsync and git operations.

Related Skills

Explore More Software Engineering Skills→
Shallow-WShallow-W

overleaf-sync

Synchronize local ARIS LaTeX directories with Overleaf projects via Git bridge.

Community
Advanced
raja21068raja21068
2

overleaf-sync

Synchronizes local ARIS directories with Overleaf projects via Git bridge.

Community
Advanced
yanochka11yanochka11

latex-writing

Create and edit LaTeX documents for scientific and technical writing.

Community
Advanced
duypham2801duypham2801

overleaf-sync

Synchronize a local ARIS paper directory with an Overleaf project via Git bridge.

Community
Advanced