CordisPluginGuide & Directory
English简体中文한국어

fly233338 / dsh-overleaf

Listed

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

mainTool View source

Installation

npx -y @deepseek-ai/dsh plugin --profile web add github:fly233338/dsh-overleaf

This installation command is an unverified starting point generated from the GitHub repository address.

Repository information

Language
JavaScript
License
MIT
Last updated
Aug 14, 2026, 12:00 PM

Install deliberately

Review source code, permissions, lifecycle hooks, dependencies and network access. Test untrusted plugins in an isolated environment.

Related plugins

More plugins

View all plugins

jacobian

Model · Tool

43

Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.

npx -y @deepseek-ai/dsh plugin --profile web add github:morluto/jacobian
GitHub installView details

dsh-work

Model · Tool · Skill · Session

25

Local-first AI workbench for DSH Plugins, combining Agent sessions, project files, data analysis, web research, MCP, and Office artifacts in an Electron desktop app.

npx -y @deepseek-ai/dsh plugin --profile web add github:vibeinging/dsh-work
GitHub installView details

leantoken

Model · Tool

16

Code intelligence for agents: find the code that matters and keep your context window and tokens lean.

npx -y @deepseek-ai/dsh plugin --profile web add github:morluto/leantoken
GitHub installView details

dsh-mcp-panel

Tool

3

Read-only runtime management panel for the official DeepSeek Harness MCP client: /mcp command + Settings MCP tab with status, tools, errors, reconnect counts, sanitized display and controlled patch suggestions (Apache-2.0, dsh-plugin).

npx -y @deepseek-ai/dsh plugin --profile web add github:PerryLink/dsh-mcp-panel
GitHub installView details

godot-bridge

Tool

2

DSH (DeepSeek Harness) plugin that launches and drives a running Godot 4.x game through its in-game TCP interaction server — replaces the godot-mcp MCP server with native agent tools.

npx -y @deepseek-ai/dsh plugin --profile web add github:Smalldy/godot-bridge
GitHub installView details

dsh-narrative-ledger

Tool

2

Verifiable narrative state, continuity and character-knowledge ledger for DeepSeek Harness

npx -y @deepseek-ai/dsh plugin --profile web add github:dongsheng123132/dsh-narrative-ledger
GitHub installView details