NestDaddy

Overleaf for AI agents (olmcp)

io.github.nipdep/agent-overleaf-connector ยท v1.0.0-alpha.3

Overleaf for AI agents: review comments, tracked-change edits, new files and PDFs; no Git needed

Connect Runs on your machine

Terminal
claude mcp add agent-overleaf-connector -e OVERLEAF_SESSION=<OVERLEAF_SESSION> -e OVERLEAF_BASE_URL=<OVERLEAF_BASE_URL> -- npx -y [email protected]
claude_desktop_config.json
{
  "mcpServers": {
    "agent-overleaf-connector": {
      "command": "npx",
      "args": [
        "-y",
        "[email protected]"
      ],
      "env": {
        "OVERLEAF_SESSION": "<OVERLEAF_SESSION>",
        "OVERLEAF_BASE_URL": "<OVERLEAF_BASE_URL>"
      }
    }
  }
}
~/.cursor/mcp.json
{
  "mcpServers": {
    "agent-overleaf-connector": {
      "command": "npx",
      "args": [
        "-y",
        "[email protected]"
      ],
      "env": {
        "OVERLEAF_SESSION": "<OVERLEAF_SESSION>",
        "OVERLEAF_BASE_URL": "<OVERLEAF_BASE_URL>"
      }
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "agent-overleaf-connector": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "[email protected]"
      ],
      "env": {
        "OVERLEAF_SESSION": "<OVERLEAF_SESSION>",
        "OVERLEAF_BASE_URL": "<OVERLEAF_BASE_URL>"
      }
    }
  }
}

Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Environment variables

NameDescription
OVERLEAF_SESSION
Optional, secret
Your Overleaf session cookie (overleaf_session2). Optional: `olmcp auth` stores it in ~/.config/olmcp instead.
OVERLEAF_BASE_URL
Optional
Only for a self-hosted Overleaf, e.g. https://overleaf.example.edu. Defaults to https://www.overleaf.com.

Details

Package[email protected] (NPM, stdio)
First published6 Nov 2026
Last updated6 Nov 2026
Registry nameio.github.nipdep/agent-overleaf-connector

More ai and media servers See all

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.