dsh-whale-subagent
@1while1
用于 DeepSeek Harness 的鲸鱼女孩主题子智能体巢穴，具有像素动画子智能体卡片、实时 THINK/TODO 追踪以及可选模型的 subagentex 工具。
math-lean
1 stars
关于
dsh-lean-prover：Lean 内核验证的数学推理插件 (DSH Cordis)
描述由原文机器翻译而来。
主题
dshxleanmathproof-verification
相似插件
dsh-media-skills
@akqwpeter-prog
把图片直接贴进聊天框：免费视觉模型 + 贴图直读 + 读图/生图 Skill。Paste images straight into the chat box: free vision model, paste-image reading & generation skills for DeepSeek Harness.
dsh-rag-kb
@AlowEnsoul
DeepSeek Harness 本地 RAG 知识库插件：本地文档切片、向量化、语义检索，全程本地运行（Ollama + 纯前端/主机端）。A local-first RAG knowledge base plugin for DeepSeek Harness.