DeepSeek Harness Plugin

fly233338/dsh-overleaf

Stars ★ 3 Category Tools & Capabilities Added 2026-08-14 npm dsh-overleaf

Connect multiple Overleaf projects to DSH through OverleafMCP for browsing, analysis, and Git-based file updates.

Install

# from npm (prebuilt)

dsh plugin --profile web add dsh-overleaf

# from GitHub (first run asks for allowBuilds approval — follow the hint, retry)

dsh plugin --profile web add github:fly233338/dsh-overleaf

GitHub-sourced plugins run build scripts on your machine at install time. Only install sources you trust, and pin a commit (github:owner/repo#sha).

README

English | 中文

Connect multiple Overleaf projects to DeepSeek Harness (DSH) through OverleafMCP.

dsh-overleaf installs OverleafMCP as an npm dependency, starts it through MCP stdio, and exposes its tools to DSH. The OverleafMCP source is not copied into this project.

Features

Browse and read files from multiple Overleaf projects, inspect document sections and section content, write files or sections back to Overleaf through Git, and use the DSH MCP Client provided by the host. Based on my experience, it is especially useful in the following scenarios: understanding an entire LaTeX project, automatically fixing LaTeX compilation errors, and unifying terminology and symbols throughout the document.

Requirements

  • DSH 0.1.0-rc.5 or a compatible release.
  • Node.js 22.19.0 or newer.
  • An Overleaf Git integration token.

Install

From a DSH source checkout:

cd /path/to/deepseek-harness
pnpm install
pnpm run build
pnpm dsh plugin --profile web add /path/to/dsh-overleaf

If the DSH CLI is installed and available on PATH:

dsh plugin --profile web add dsh-overleaf
dsh web

The npm installation command becomes available after this package is published.

Configure

The plugin uses dsh-overleaf.config.json next to its index.js. If the file is missing, the plugin creates it on startup with this content. Fill in one shared token and one project ID per line:

{
  "gitToken": "your-overleaf-git-token",
  "projectIds": [
    "project-id-a",
    "project-id-b"
  ]
}

Get project IDs from the <id> in the Overleaf project URL. Create the Git token under Overleaf Account Settings → Git Integration.

Restart DSH after editing the file. The plugin reads it once at startup and generates the internal OverleafMCP project configuration. Do not edit the generated .dsh-overleaf.projects.json file.

The plugin does not read .env and does not require Overleaf environment variables.

Use with the model

Tell the model which project to handle:

Please work on Overleaf project project-id-a and read its main.tex.

The model first calls mcp__overleaf__list_projects, then passes the selected ID as projectName to subsequent Overleaf tools. Write operations require an explicit commitMessage and push a Git commit to Overleaf.

Keep the token out of public source repositories and published package contents.

Scope

The current version supports multiple Overleaf projects through one MCP tool group. It does not compile documents, review PDFs, or automate a browser.

Links

Content from the project README on GitHub ↗

Links

More in this category

View the whole category →