dsh-tool-github
GitHub REST API tools for DeepSeek Harness: repositories, search, issues, pull requests, comments, account binding, and workspace integration, with a browser-side GitHub panel in the web GUI
安装
$
npx -p @deepseek-ai/dsh dsh plugin --profile web add github:tkwkeven/dsh-tool-github说明文档
阅读完整 README ↗Usage examples
"帮我绑定 GitHub 账号" → github_bind (输入 token)
"当前登录的 GitHub 账号是谁" → github_whoami
"把 deepseek-ai/DeepSeek-Harness 加为工作区" → github_workspace_add
"有哪些 GitHub 仓库可以作为工作区" → github_workspace_list
"deepseek-harness 有多少 star" → github_repo
"搜 python 的 PDF 解析库 stars:>3000" → github_search
Configuration
The plugin accepts a Config with:
token— GitHub personal access token (default:""). Prefergithub_bind(credential store) or theGITHUB_TOKENenvironment variable; resolution order is credential store → plugin config → environment.baseUrl— API base URL (defaulthttps://api.github.com; set to your GitHub Enterprise URL, e.g.https://github.example.com/api/v3).timeoutMs— per-call timeout (default30000).maxResults— list/search result cap (default10).workspaceRoot— wheregithub_workspace_addclones repositories (default~/.dsh/github-workspaces).
Example profile patch (~/.dsh/cordis.patch.yml or profiles//cordis.patch.yml):
- id: tool-github
config:
maxResults: 20
workspaceRoot: D:\github-workspaces