skills.rest
alothalothCommunity·1 Agent Skills Included

olcli

Sync, compile, and manage Overleaf LaTeX projects from terminal

Syncs Overleaf LaTeX projects with your local machine, compiles PDFs remotely, and manages files, comments, and project renames from the command line. Eliminates manual browser uploads, lost local edits, and tedious arXiv submission prep by downloading .bbl and other compile outputs directly. Supports native git remotes, self-hosted Overleaf instances, and an MCP server so agents and editors work with projects faster.
148|21
↗
npx skills add aloth/olcli --all -g -y

All Skills in This Repository (1)

Pure Emerald Level Indicators
📦 In Repo
alothaloth

overleaf

Sync Overleaf LaTeX projects from the command line.

Community
Intermediate

Frequently Asked Questions

FAQPage Schema
How to install olcli?â–¼

Run `npx skills add aloth/olcli --all -g -y` in your terminal to install this skill globally for your agent.

How to sync Overleaf projects locally?â–¼

Run `olcli pull` to download a project, edit files in your favorite editor, then `olcli push` or `olcli sync` to upload changes with conflict detection.

Can I use git with Overleaf projects?â–¼

Yes. Clone with `git clone overleaf::<project-url>` and use standard git commit, push, and pull commands against Overleaf.

How to prepare an arXiv submission from Overleaf?â–¼

Compile with `olcli compile`, then run `olcli output bbl -o main.bbl` to download the .bbl file arXiv requires, and zip your sources.

Does olcli work with self-hosted Overleaf?â–¼

Yes. Set your instance URL with `olcli config set-url https://your-instance.com` and authenticate with a session cookie or email and password.

Related Repositories in Software Engineering

View All in Software Engineering→
openclawopenclaw
388.4k

openclaw

Run a personal AI assistant across your devices and chat apps

Official📦 120 Skills
obraobra
280.0k

superpowers

Gives coding agents a disciplined workflow from idea to merged code

Community📦 15 Skills
facebookfacebook
248.4k

react

AI agent skills for building, testing, and porting React core

Official📦 14 Skills