DeepSeek Harness Plugin Hub
← Plugins

doctrove

Doctrove

Versioned library documentation retrieval for coding agents: search documentation catalogs, select versions, and extract relevance-ranked documentation snippets by topic. Runs as an MCP stdio server with zero runtime dependencies and can be loaded by plugin-based harnesses such as dsh.

The plugin will be installed here. Keep web if you are unsure.

npx -y @deepseek-ai/dsh plugin --profile web add github:JohnXu22786/docs-retriever#7917bdb066fc9c15b0f68fd17b19bb7c3d15d7ef

Compatibility and provenance

Doctrove is published as doctrove and currently resolves to version 1.0.0. The Hub verifies its manifest and preserves the exact installation source for reproducible installs.

DSH compatibility
*
Runtime surfaces
any
Release source
github
Registry updated

Versions

1.0.0stable

Related plugins

More verified plugins in search-research.

Find Plugindsh-find-pluginFind DeepSeek Harness plugins inside the agent — live GitHub dsh-plugin topic search, ranked by stars.Free Searchdsh-free-searchFree web search for DeepSeek Harness: 10 engines (Bing/DuckDuckGo/AnySearch/SearXNG/Exa/Tavily/Keenable keyless) + time filtering + platform search + web_fetch, with web settings UI.Builtin Browserdsh-builtin-browserShared real browser plugin for DeepSeek Harness: install-and-use — a visible native browser the human can take over, driven by the agent over CDP. DOM-level interaction (React/Vue safe), per-task session isolation, cookie persistence (browser_auth), CAPTCBailian Kb Dshbailian-kb-dshBailian knowledge-base tools for DeepSeek Harness: kb_search and kb_chat over the DashScope RAG API, plus the bl CLI management skill.