Plugin name
JohnXu22786/docs-retriever
Repository URL
https://github.com/JohnXu22786/docs-retriever
Install identifier
github:JohnXu22786/docs-retriever
Category
Research & Knowledge / Knowledge Management
Category evidence
The repository is a DeepSeek Harness plugin bundle: the root package.json declares dsh.bundle.patch pointing at cordis.patch.yml (the patch consumed by dsh plugin installs), and the README documents installation and usage.
Summary
doctrove — versioned library documentation retrieval: a doc catalog index lets agents fetch accurate, versioned, traceable API documentation on demand instead of guessing from training memory.
Maintainer identity
JohnXu22786 is the repository owner and maintainer (https://github.com/JohnXu22786).
Submission declaration
Plugin name
JohnXu22786/docs-retriever
Repository URL
https://github.com/JohnXu22786/docs-retriever
Install identifier
github:JohnXu22786/docs-retriever
Category
Research & Knowledge / Knowledge Management
Category evidence
The repository is a DeepSeek Harness plugin bundle: the root package.json declares dsh.bundle.patch pointing at cordis.patch.yml (the patch consumed by dsh plugin installs), and the README documents installation and usage.
Summary
doctrove — versioned library documentation retrieval: a doc catalog index lets agents fetch accurate, versioned, traceable API documentation on demand instead of guessing from training memory.
Maintainer identity
JohnXu22786 is the repository owner and maintainer (https://github.com/JohnXu22786).
Submission declaration