olcli MCP server
Overleaf CLI - pull, push, sync, compile LaTeX projects from your terminal. Git remote helper, MCP server for AI agents, and TypeScript library.
What olcli does
Summarised from the project README; check the repository for the latest details.
Features
- 📋 List all your Overleaf projects
- ✨ Create blank or example projects
- ⬇️ Pull project files to local directory for offline editing
- ⬆️ Push local changes back to Overleaf
- 🔄 Sync bidirectionally with smart conflict detection
- 🔍 Diff local files against the live remote before pushing
Repository: aloth/olcli
Website: https://www.npmjs.com/package/@aloth/olcli
Stars: ★209
Language: TypeScript
Last updated: 2026-10-09
academic-writingagentskillsai-agentsarxivclideveloper-toolsgitgit-remote-helperhomebrewlatexmcpmcp-servermodel-context-protocolnodejsoverleafpdfresearch-toolssharelatexsynctypescript
Website: https://www.npmjs.com/package/@aloth/olcli
Stars: ★209
Language: TypeScript
Last updated: 2026-10-09
academic-writingagentskillsai-agentsarxivclideveloper-toolsgitgit-remote-helperhomebrewlatexmcpmcp-servermodel-context-protocolnodejsoverleafpdfresearch-toolssharelatexsynctypescript
How to install olcli
No install config was found in this README. See the repository for setup steps, then follow our guides for Claude Desktop, Cursor or VS Code.
Listed on Socketlist – add this badge to your README:
Maintain this project? Get it featured for free during launch →
Compare with github-mcp-server →
Related Git & GitHub MCP servers
pipeshub-ai by pipeshub-ai · ★3833
The open-source context layer for AI agents. PipesHub turns your company's knowledge (Slack, Drive, Jira, GitHub, Microsoft 365 and 40+ conn
Git & GitHub
The open-source context layer for AI agents. PipesHub turns your company's knowledge (Slack, Drive, Jira, GitHub, Microsoft 365 and 40+ conn
Git & GitHub
jcodemunch-mcp by jgravelle · ★2770
Cut AI token costs 95%+ on code exploration. The leading MCP server for precise, symbol-level GitHub code retrieval via tree-sitter AST. Wor
Git & GitHub
Cut AI token costs 95%+ on code exploration. The leading MCP server for precise, symbol-level GitHub code retrieval via tree-sitter AST. Wor
Git & GitHub
Lightswind-UI-Library by codewithMUHILAN · ★1138
The AI-native CLI-first React component library. 160+ animated, accessible, production-ready components with MCP Server support for Cursor,
Git & GitHub
The AI-native CLI-first React component library. 160+ animated, accessible, production-ready components with MCP Server support for Cursor,
Git & GitHub
atlassian-mcp-server by atlassian · ★1096
Official remote MCP server for Atlassian. Securely connect Jira, Confluence, Jira Service Management, Bitbucket, and Compass to Claude, Chat
Git & GitHub
Official remote MCP server for Atlassian. Securely connect Jira, Confluence, Jira Service Management, Bitbucket, and Compass to Claude, Chat
Git & GitHub
new-term-radar by zhuyansen · ★971
Daily radar for new AI terms: names of new models, products and repos, caught on X, Hugging Face, GitHub and sitemaps before keyword tools l
Git & GitHub
Daily radar for new AI terms: names of new models, products and repos, caught on X, Hugging Face, GitHub and sitemaps before keyword tools l
Git & GitHub
Weekly MCP digest – new and trending MCP servers in your inbox.