math-lean
Fisfzy/math-lean
dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)
dsh plugin --profile web add github:Fisfzy/math-lean
- 星标
- 0
- 复刻
- —
- 更新
- 2026-08-13
none
拖动滑块完成拼图,通过后发送验证码
独立第三方 AI 评测平台 · 只用实测数据
DeepSeek Harness(DSH)插件清单:每个插件解决什么问题、用哪条 dsh plugin add 命令安装、支持哪些 DSH 版本、由谁维护、验证到哪一级、安全审查是什么结论,逐条列清楚。
本站收录 19,544 个 DSH 插件,分 12 类; 其中 16,984 个给出了可直接执行的安装命令、 16,477 个通过沙盒安装验证(L4/L5)、 9,553 个做过运行验证(L5)、 16,544 个静态安全审查为低风险。 同名但作者不同的仓库分开算——分叉与重名是不同项目,页面里会显式提示。
Fisfzy/math-lean
dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)
dsh plugin --profile web add github:Fisfzy/math-lean
none
whaojie797-design/diagram-drift
Detect drift between a Mermaid architecture diagram and the codebase it describes. (check parses graph/flowchart, scans definitions + import/call, flags missing-in-code / stale-edge / missing-in-diagram.)
dsh plugin --profile web add github:whaojie797-design/diagram-drift#v0.1.0
MIT
whaojie797-design/Novera-AI-agent
四智能体 AI 编程流水线提示词:需求规格官→编码官→重构官→架构守门官,钢铁笼子质量关卡(覆盖率/圈复杂度/变异得分)+ 失败路由表,让 AI 互相制衡、机器卡终局
dsh plugin --profile web add github:whaojie797-design/Novera-AI-agent
MIT
lispking/git-skills
A powerful Claude Code Git assistant skill that provides intelligent branch management, commit message conventions, workflow assistance, and code review guidance.
dsh plugin --profile web add github:lispking/git-skills
MIT
EthanYoQ/AI-Novel-Writer
安装专用 AI 小说创作预设与工作台:提供带修订号的本地项目资产、紧凑侧边工作台,以及需要原生审批的逐文件变更。
上游未给出安装命令,详情页见说明
GPL-3.0
wecode-ai/Wegent
Plan, build, and deliver with an open-source, self-hostable AI workspace for coding, collaboration, and automation.
上游未给出安装命令,详情页见说明
Apache-2.0
PerryLink/dsh-auto-review
为 DeepSeek Harness 审批请求引入第二模型自动复核:只读 reviewer 子代理返回带理由的 allow/deny 裁决,默认失败即拒绝,全程可从会话日志审计。
dsh plugin --profile web add dsh-auto-review
TypeScript Apache-2.0 第二模型复核审批请求 · 只读子代理返回结构化裁决 · 失败默认拒绝(fail-closed)
drewnekota/cetus
One macOS app for Claude Code, Codex, and every agent runtime you use — scheduled runs, global hotkey launcher, per-run git worktrees, one review board.
上游未给出安装命令,详情页见说明
MIT
PerryLink/dsh-data-quality
为 DeepSeek Harness 提供确定性数据剖析、清洗与校验能力,全部计算由 TypeScript 完成,模型不参与算数,并通过 ctx.dataQuality 服务暴露三个模型工具。
dsh plugin --profile web add dsh-data-quality
TypeScript Apache-2.0 data_profile 剖析行列与质量 · data_clean 声明式清洗规则 · data_verify 声明式校验规则
euanguo/dsh-studio
DSH Studio 是面向 DeepSeek Harness 的本地开发工作台,整合项目树、Git Review、终端与插件市场,提供 Desktop 与 Web 同构的开发体验。
上游未给出安装命令,详情页见说明
TypeScript MIT 多项目工作区 · Git Review 与智能提交 · 项目级终端
unStone/dsh-xray
X-ray for DeepSeek Harness plugins: declared capabilities vs actual behavior. Registry + static scanner + badges.
上游未给出安装命令,详情页见说明
Apache-2.0
sunshine-lang/dsh-plugin-template
DSH plugin 开箱即用的插件骨架模板,整合 bundle 格式、工具 DSL、配置校验、测试与发布清单,帮助开发者快速脚手架新插件。
上游未给出安装命令,详情页见说明
JavaScript MIT 一键脚手架新插件 · 内置工具 DSL 示例 · 配置校验与测试
arch3rPro/dsh-skills
Generalized development-specification skills distilled from DeepSeek Harness's engineering conventions — defensive patterns, code conventions, testing tiers, prose standards, decision records, review and PR discipline.
上游未给出安装命令,详情页见说明
MIT
zoahdev/dsh-ecosystem
The living map of the DeepSeek Harness plugin ecosystem: curated plugin catalog with quality signals, bug radar, gap radar, and weekly editions.
上游未给出安装命令,详情页见说明
NOASSERTION
shuishuipingan/InkWeaver
织墨 InkWeaver — 以本地化为核心的长篇小说创作空间,具备持续章节连贯性、基于证据的审阅、运行日志以及经过验证的 DSH 插件 织墨 InkWeaver — local-first long-form fiction workspace with continuous chapter continuity, evidence-backed review, runtime logs, and a reviewed DSH plugin
上游未给出安装命令,详情页见说明
GPL-3.0
xiaoshi7915/dsh-kb-manager
DSH plugin 本地知识库生命周期管理:多格式导入、智能分块、纯 TypeScript 向量索引与混合检索(向量+BM25+RRF),为 Agent 提供长期记忆与引用溯源。
上游未给出安装命令,详情页见说明
JavaScript MIT 多格式导入 · 智能分块 · 混合检索
win4r/dsh-pi-review
为 DeepSeek Harness 提供隔离只读的 Pi Agent Git 改动审查,注册 pi_review_diff 工具,冻结确定性快照并返回结构化 finding。
上游未给出安装命令,详情页见说明
TypeScript MIT 只读沙箱隔离审查 · 冻结确定性 Git 快照 · 结构化 finding 输出
ZhuXinAI/sidesight
SideSight 是 DeepSeek Harness 的 CLI 视觉侧车,为纯文本编码代理提供截图、图表、UI 差异和视频的多模态分析能力。
dsh plugin --profile web add sidesight
TypeScript MIT 多模态图像分析 · OCR 文字识别 · UI 差异检测
JesonChou/dsh-codex-file-panel
为 DeepSeek Harness Web UI 提供 Codex 风格右侧文件面板,集成文件树、搜索、编辑、预览、Git 操作与多标签终端,提升文件工作流效率。
上游未给出安装命令,详情页见说明
TypeScript MIT Codex 风格文件面板 · 文件树与搜索编辑 · 多格式文件预览
ihuajiu/dsh-code-security
OpenAI Codex Security for DSH, zero-setup — 13 audit skills + 5 scan tools in a session preset, plus an auto-audit gate for new plugins, running on your local model with no API keys.
上游未给出安装命令,详情页见说明
Apache-2.0
NexusAgentX/dsh-lens
dsh-lens 为 DeepSeek Harness 提供实时代码反馈,集成 LSP、linter、格式化与结构分析,帮助 Agent 在编写代码时即时发现并修复问题。
dsh plugin --profile web add dsh-lens
TypeScript MIT 实时 LSP 诊断 · 自动格式化与修复 · ast-grep 结构分析
xby-skill/xby-scan-code
CodeGuard MCP是一款实时AI代码安全扫描工具,用于检测AI生成代码中的漏洞、密钥和合规性问题,适用于开发环境中的代码安全审查。
上游未给出安装命令,详情页见说明
MIT
monotykamary/dsh-fovea
dsh-fovea 为 DeepSeek Harness 提供仓库智能分析,通过 token 预算的代码图、焦点、影响分析和持续同步,帮助代理高效理解代码库。
dsh plugin --profile web add dsh-fovea
TypeScript MIT 代码图构建 · 焦点与影响分析 · 持续同步
leonardoxr/dsh-coding-tools
为 DeepSeek Harness 提供安全的编码工具集,包括代码读取、范围编辑、AST 搜索和 LSP 查询,并支持审批控制。
上游未给出安装命令,详情页见说明
TypeScript MIT 代码读取 · 范围编辑 · AST 搜索
打开任意插件的详情页,复制「安装」一节里的命令(形如 dsh plugin add <包名>)在 DSH 里执行即可。带 L4 / L5 标记的插件,这条命令已经在隔离沙盒里真实跑通过。
L3 只做了安装规范校验(命令能解析、DSH 版本已声明);L4 在受限沙盒里真实执行过安装,没有依赖错误;L5 在 L4 基础上还跑了一次冒烟,确认插件能被加载运行。等级越高,装完不能用、装不上的概率越低。
可安装插件声明了 dsh.bundle,能用 dsh plugin add 挂进 DSH;生态应用是桌面壳、独立工具这类项目,通过发布包分发,不能当作插件挂载。清单里默认把插件排在前面,并在卡片上标出类型。
GitHub 上同名不同作者的仓库是不同项目(分叉或重名)。本站不做合并、也不做跳转,而是按星标排序并在详情页列出「同名或近似条目」,避免装错。
页面顶部徽标里的时间就是这份数据的时点。插件内容以作者仓库为准:分类、验证等级、安全结论的中文说明由本站整理,安装命令与仓库地址保持原文;要看最新情况请以作者仓库为准。
插件的元信息来自作者仓库;分类、验证等级与安全结论的中文说明为中文整理,数据日期 2026-10-14 12:56。