docs-retriever — release evidencehttps://deeplugin.store/plugins/deeplugin-ec31345be6dc287bd22d.atom.xml2026-08-17T18:59:27ZUpdated: docs-retrievertag:deeplugin.store,2026-08-17:deeplugin-ec31345be6dc287bd22d/28c8ffb95028ff642026-08-17T18:59:27ZJohnXu22786Doctrove: 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. Exact install spec: github:johnxu22786/docs-retriever. Source event: beancookie/awesome-dsh-plugin; changed: sources.New: docs-retrievertag:deeplugin.store,2026-08-16:deeplugin-ec31345be6dc287bd22d/b4b18202b5c6d0b72026-08-16T22:38:05ZJohnXu22786Doctrove: 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. Exact install spec: github:johnxu22786/docs-retriever. Source event: awesome-dsh-plugin/awesome-dsh-plugin; changed: listed.