worktree-mgr
JohnXu22786/worktree-mgr
Per-task isolated git worktrees with a full create/sync/finish lifecycle: task names auto-derive branches, merge targets are double-checked, and batch cleanup is built in — zero manual git operations.
DeepSeek Harness plugin
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.
Jump to installSource facts
- Repository
- JohnXu22786/docs-retriever
- Latest update
- Aug 16, 2026
- Primary category
- Tools & Capabilities
- GitHub stars
- 0
- GitHub forks
- No data
Ask an agent to review it before installing
Send the GitHub link to DSH, Codex, or another agent. Ask it to explain the purpose, access, installation, and removal steps, then wait for your approval before running commands. Paste the README if it cannot open the link.
dsh plugin --profile web add github:JohnXu22786/docs-retrieverThis command comes from the community plugin list. Open the repository and check the setup steps and scripts before running it.
View the raw directory data
These are the original fields from the community list, kept here so you can compare them with the GitHub repository.
registry-record.jsonread only
registry-record.jsonCheck against GitHub before use{
"name": "docs-retriever",
"owner": "JohnXu22786",
"category": "tools",
"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.",
"install": "dsh plugin --profile web add github:JohnXu22786/docs-retriever",
"npm": null,
"stars": 0,
"added": "2026-08-16",
"source": "registry"
}Check these before installing
See which files it changes, which websites or API keys it can access, which install scripts it runs, and whether it has a license and removal steps. GitHub stars only show attention.