DeepSeek Harness Plugin

dsh-overleaf

Development & Runtime 13 stars DSH Plugin

Connect multiple Overleaf projects to DeepSeek Harness through OverleafMCP — browse and read files across your LaTeX projects from inside agent sessions.

Plugin facts

GitHub stars 13
LicenseMIT
Primary languageJavaScript
Last push2026-08-22T14:03:13Z
Maintainerfly233338
Added to this directory2026-08-15

Screenshots

About this plugin

Connect Overleaf projects to DeepSeek Harness (DSH) through OverleafMCP and MCP tools.

Install this DSH plugin

Copy the command below and run it in your DeepSeek Harness terminal.

dsh plugin add github:fly233338/dsh-overleaf

Plugins run with the permissions of your dsh process and may execute code at install time. Review the source repository and its license before installing. Pin the commit hash for reproducible installs. Plugin safety →

More about this plugin

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.

About this plugin: dsh-overleaf

What is dsh-overleaf?

dsh-overleaf is a development & runtime plugin maintained by fly233338. Connect multiple Overleaf projects to DeepSeek Harness through OverleafMCP — browse and read files across your LaTeX projects from inside agent sessions.

How do I install dsh-overleaf?

Run dsh plugin add github:fly233338/dsh-overleaf in your DeepSeek Harness terminal. The dsh CLI resolves the plugin from GitHub and installs it into your active profile. For reproducible installs, pin a commit hash: dsh plugin add github:fly233338/dsh-overleaf#commit.

Is dsh-overleaf free?

dsh-overleaf is a community open-source project released under the MIT license. You can inspect its source and install it for free.

Development & Runtime

Brings the agent's working-status line to life with real-time tool activity and progress, playful copy, model self-description, and context warnings. Two versions, for pi CLI and DeepSeek Harness, ship as separate npm packages. Community-made, not an official project.

View plugin → ccch1mneyyy GitHub profile image ccch1mneyyy