Git同期によるオーバーリーフプロジェクトを管理するためのMCPサーバー

PyPIパッケージ・MCPレジストリ

このサーバーが何をしているか

• MCP 互換クライアントを Git の同期を通じて、オーバーリーフ プロジェクトに接続します。
• プロジェクトコンテンツをリスト、読み込み、書き込み、および同期するためのファイルレベルのツールを公開します。
• ワークフローをシンプルに保ちます。最新のファイルをプルし、編集し、オーバーリーフに戻します。

アーキテクチャ

ツールワークフロー

要件

• Python 3.13 +
• [uvパッケージマネージャ -Gitインテグレーション付きオーバーリーフプラン(個人、グループ、または機関ライセンス)。 機関が施設の施設に施設の施設が施設の施設の施設内にある場合、機関の電子メールを使用するかどうかを確認してください。 機関がリストされていない場合は、プランをアップグレードしてください。

Git セットアップ

1。 Gitを有効にする - オーバーリーフ → Menu → Gitを有効にします。 2。 コピープロジェクトID - ブラウザURL([https://www.overleaf.com/project/69a4f7cc4eaf13bd56de5b04]→69a4f7cc4eaf13bd56de5b04)から。 3。 Gitトークンを生成する - アカウント設定 → Git統合認証トークン → 新しいトークンを生成する。 4.[[.env] - [[.env.example]]]を[[.env]]にコピーし、記入します

Overleaf MCP Server

An MCP server for managing Overleaf projects through Git synchronization.

PyPI Package · MCP Registry

What This Server Does

• Connects MCP-compatible clients to your Overleaf project through Git sync.
• Exposes file-level tools to list, read, write, and sync project content.
• Keeps workflow simple: pull latest files, edit, then push back to Overleaf.

Architecture

flowchart LR
  C[MCP Client\nClaude Desktop / other MCP host] -->|Tool Call| S[Overleaf MCP Server]
  S -->|Git Sync| O[Overleaf Git Remote]
  S -->|Read / Write| L[Local Repo Mirror]
  L -->|Commit + Push| O
  O -->|Pull / Fetch| L
  S -->|Tool Result| C

Tool Workflow

sequenceDiagram
  participant Client as MCP Client
  participant Server as Overleaf MCP Server
  participant Local as Local Mirror
  participant Overleaf as Overleaf Git

  Client->>Server: list_files / read_file
  Server->>Local: Ensure local clone
  Server->>Overleaf: git pull
  Overleaf-->>Server: latest content
  Server-->>Client: file list / file content

  Client->>Server: write_file(path, content)
  Server->>Local: update file
  Server->>Local: git commit
  Server->>Overleaf: git push
  Server-->>Client: success + metadata

Requirements

• Python 3.13+
• uv package manager
• An Overleaf plan with Git integration (individual, group, or institution license). Check if your institution provides free access at Overleaf for Institutions - use your institutional email. If your institution is not listed, upgrade your plan.

Git Setup

1. Enable Git - open your project on Overleaf → Menu → enable Git under Integrations.
2. Copy project ID - from the browser URL (e.g. https://www.overleaf.com/project/69a4f7cc4eaf13bd56de5b04 → 69a4f7cc4eaf13bd56de5b04).
3. Generate a Git token - Account Settings → Git integration authentication tokens → Generate new token.
4. Configure .env - copy .env.example to .env and fill in:

OVERLEAF_TOKEN=your_git_token
PROJECT_ID=your_project_id

project_id can also be passed per tool call, but PROJECT_ID is still required by the server configuration.

The Overleaf Git token is account-wide credential material. Store it only in the MCP client’s environment or a protected .env file, and rotate it if it is exposed.

Safety Notes