← Leaderboard / Tools / Plugin
Last repository activity August 16, 2026 · Created August 16, 2026

JohnXu22786/docs-retriever

“Doctrove: versioned library documentation retrieval MCP server for coding agents — catalog lookup, version selection and focus-ranked doc extraction, with zero runtime dependencies and a dsh bundle.”

Star rank
Pending
install verification
In Tools
Pending
install verification
Stars
0
GitHub repository
Forks
0
GitHub repository
Watchers
0
GitHub subscribers
Open on GitHub ↗
Description

Doctrove: versioned library documentation retrieval MCP server for coding agents — catalog lookup, version selection and focus-ranked doc extraction, with zero runtime dependencies and a dsh bundle.

30 days of GitHub stars
+0 stars
+0% observed change
+0
Jul 19Aug 2Aug 17
Also in this category
4 items
Tools

liceses/dsh-gitbash-preset

DeepSeek Harness plugin: installs the 'minimal-gitbash' agent preset — the Windows variant of the shipped minimal preset that routes the bash tool through Git for Windows bash (MSYS), with automatic shell discovery and sandbox-aware gating.

☆ 121
Tools

liustack/modsearch

Web search bridge for text-only agents: ask the web or X, get structured JSON evidence (search, fetch, citations).

☆ 111
Tools

taxueseek/argo

Search built for agents: multilingual coverage across web, academic, code, shopping, finance, news, and encyclopedias.

☆ 91
Tools

awesome-dsh-plugin/dsh-find-plugin

Find plugins without leaving the agent: search this curated registry by keyword or category, with ready-to-run install commands.

☆ 36