math-lean
Fisfzydsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)
Projects here carry real evidence of a DeepSeek Harness relationship but do not fit an established category yet. They stay visible rather than being dropped, and move once the category picture is clearer.
Repositories with traceable evidence of a DeepSeek Harness relationship. They have not been reviewed, install tested, or security checked — the signal below each one is the whole of what the registry currently knows.
dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)
Windows-native Adaptive Standard preset for DeepSeek Harness
Structured work-state checkpoints and safe agent handoffs for DeepSeek Harness
DeepSeek Harness 中文标准模式插件:强制思考链与最终输出使用简体中文
DeepSeek Harness(DSH)的 Cordis 插件:让审批自动放行
出海交易对手尽调 · DeepSeek Harness 插件:先确认你在跟哪个法人签约,再判断这份登记资料能不能作为决策依据。免费官方数据源,无需密钥。
Local task checklist plugin for DeepSeek Harness.
Read-only acceptance layer for DeepSeek Harness: a verifier gates every turn and steers gaps back into the agent.
dsh-admin-gateway DeepSeek Harness (dsh) 管理员验证网关插件。 只需一个绑定在 Cloudflare 的域名
Turn watchdog for DSH: detects stuck turns and injects a quiet warning.
Network diagnostics toolbox for DeepSeek Harness (dsh): DNS lookup, ICMP ping, TCP port check, TLS cert check, traceroute, public IP — six read-only probes, zero runtime dependencies
Advisory turn step-budget reminders for DeepSeek Harness — loop convergence guard (dsh-plugin)
Opt-in per-step turn metadata for DeepSeek Harness — a minimal first-plugin template (dsh-plugin)
DSH plugin: bisect bugs (code / boundary / commit) — 二分法定位 bug 根因
一个DeepSeek背景呼吸灯,随工作状态而改变
文件拖拽:把文件拖到 DSH 窗口,真实路径写入输入框
DSH self-built plugin
Agent knowledge hub and deepseek-harness plugin
Manage user-installed DeepSeek Harness plugins from the DSH Web settings page
DeepSeek Harness config migration plugin: one-click export/import of DSH_HOME settings, credentials, profiles and external plugins. Cross-platform (Windows/macOS/Linux).
在dsh里面显示对话,然后点击可以快速跳转
Deterministic Agent-played Snake game for DeepSeek Harness.
Local reusable prompt presets for DeepSeek Harness.
Find what your DeepSeek Harness (dsh) patches silently broke — dead patches, config fields dropped by whole-config replacement, unmaintained plugins. Read-only, zero deps.
learn how to write cordis dsh plugin
一句话大需求先别急着跑:拦一下问你要不要先规划,自动生成带验收清单的 plan.md 再开工 — DeepSeek Harness 插件 / Catches one-sentence mammoth tasks and scaffolds plan.md + a capped goal first
DeepSeek Harness 插件开关/删除管理器(host + client 一体包)
My personal plugin collection for DeepSeek Harness (DSH) — everything is a plugin.
Human-gated DeepSeek Harness plugin creation, verification, and release studio
🧬 dsh bio analysis plugin for DeepSeek Harness — wish-style bioinformatics & biology analysis: Biopython-powered sequence analysis, genomics, zero-install Python env (uv+venv)
Writable plugin management tab for DeepSeek Harness - toggle, enable/disable, and uninstall user-installed Cordis plugins from Settings
中文 DSH 知识复习插件:有证据才回答、资料缺失提醒补充学习视频。
DeepSeek Harness 聊天快捷导航插件(ChatGPT 式悬停滑出)· A DeepSeek Harness chat quick-nav plugin (ChatGPT-style hover slide-out)
Publish DeepSeek Harness agent output as a shareable FolioDrop URL
Paper Design plugin for DeepSeek Harness
Personal bookkeeping for DeepSeek Harness: record expenses/income (single or batch), list, monthly/annual stats with trends, budgets with progress/over-limit alerts, soft-delete restore, CSV & self-contained HTML report. Zero deps, local JSON. 个人记账插件
CodeBuddy OAuth, dynamic models, and reasoning controls for DeepSeek Harness
A local table data management plugin developed for DeepSeek Harness
DSH Web 设置页新增的「重启」入口:点击即可安全重启整个 DSH 进程,页面约 5 秒后自动重新连接。
VPS Hub for DeepSeek Harness: SSH ledger plugin — agents discover, test, execute on, and transfer files to your cloud servers. Keys stay local as path references.
DeepSeek Harness: Everything is a Plugin
Native Windows toast + taskbar flash for DeepSeek Harness when a task finishes or your input is needed.
DeepSeek Harness plugin for account balance and evidence-bounded daily CNY consumption
User-approved Goal, Milestone, and Turn checkpoints for solo long-running DeepSeek Harness projects.
给 dsh 设置页加「安装」标签页,按包名安装任意第三方插件。
Geodesic-traced Schwarzschild black hole floating inside DeepSeek Harness (DSH) — persistent WebGL2 client plugin ported from ghostty-blackhole
ChatGPT-style right-edge turn navigation plugin for DeepSeek Harness (dsh) web
dsh atuin-history: record dsh user prompts into atuin shell history
Experimental RouteCertificate observer for the DeepSeek Harness developer preview
Community plugins for DeepSeek Harness