DSH插件商店 DSH-plugin store

DSH-PLUGIN STORE / LIVE CATALOG

DSH插件商店

聚合 GitHub 上的 DSH 插件，打造 DeepSeek Harness 生态的一站式目录。

已收录
4403
功能分类
11
更新时间
08/18 02:30
全部 4403 界面增强 235 Agent 与会话 271 开发工具 341 消息通讯 128 文件与数据 256 模型与 MCP 163 安全与治理 93 部署运维 135 生活娱乐 124 学习研究 46 其他 2611

22 个项目，匹配「verification」

模型与 MCP 插件

jacobian

morluto

Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.

ai-agents automated-theorem-proving computer-algebra cordis
50 9 242
今天
开发工具 基础设施

Privacy-minimal heuristic per-turn verification summaries for DeepSeek Harness

agent-infrastructure deepseek-harness developer-tools dsh-plugin
5 0 0
3 天前
文件与数据 插件

DSH-changeproof

Apageoflove

变更证明（ChangeProof）— DeepSeek Harness 插件：代码改动后确认改动的行真的被测试覆盖到

agent-tools changed-line-coverage changeproof code-verification
5 1 0
2 天前
其他 插件

dsh-mobile-gui-agent

kunjinkao-os

Android Mobile GUI Agent plugin for DeepSeek Harness with ADB control, iterative verification, approvals, and a Web mobile view

adb android deepseek-harness dsh
5 0 0
3 天前
Agent 与会话 渠道适配

Cross-session verification, claims and a decision ledger for DeepSeek Harness — so two agent sessions don't repeat, contradict or deadlock each other.

agent-communication agent-coordination agent-verification ai-agents
4 0 0
2 天前
开发工具 插件

anchorlaw

unknowbug

Code verification protocol for vibe coding — every claim must have a verifiable practice anchor.

ai-assisted-development code-quality code-verification cpp
4 1 0
3 天前
开发工具 插件

Health checks for DeepSeek Harness plugins: manifest, patch, entry, build, pack, fresh-profile install verification — CLI + agent-callable plugin_check tool (RFC #1629 dsh plugin check).

cli deepseek-harness developer-tools dsh-plugin
4 1 1
今天
文件与数据 插件

citeguard

Chhlafiu4312

Citation extraction and evidence verification for DeepSeek Harness.

citation-verification deepseek-harness dsh-plugin research-tools
3 0 1
1 天前
其他 插件

dsh-release-proof

dongsheng123132

Reproducible multi-source release evidence for DeepSeek Harness artifacts and mirrors

ai-agent artifact-verification deepseek-harness dsh
3 0 0
3 天前
生活娱乐 技能

DSH (DeepSeek Harness) plugin bundle: Xiaohongshu/RED viral-note agent skill - hot-note research, note generation/rewrite, verification, authorized account analysis, QR login and controlled publishing, shipped as a bundled skill provider.

agent-skill deepseek-harness dsh-plugin plugin
2 0 0
3 天前
开发工具 技能

logicprobe

AmethystLuna

Claim verification for AI coding agents — 7 structural + 7 adversarial logic-primitive probes against design docs & refactoring plans | AI 编程助手声明核查插件:对设计文档与重构计划做逻辑原语验证(7 结构 + 7 对抗探针) for Claude Code, Codex, Cursor, Kimi, OpenCode, ZCode and DeepSeek Harness (dsh)

agent-plugin agent-skills ai-agents claude-code
1 0 0
1 天前
安全与治理 插件

dsh-forge

ChaoYuZhang001

Safe verification, compatibility checks, and transactional lifecycle tools for DeepSeek Harness plugins.

cli deepseek-harness dsh dsh-plugin
1 0 2
今天
学习研究 插件

math-lean

Fisfzy

dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)

dsh-plugin dshx lean math
1 0 0
5 天前
Agent 与会话 插件

dsh-agent-arena

LeemanCheung

Isolated multi-model coding matches with deterministic verification, scoring, and reports

deepseek-harness dsh-plugin multi-agent
1 0 0
1 天前
其他 插件

dsh-md-preview

poiuyjie

DeepSeek Harness plugin: open .md references from chat in a dockable side-by-side preview panel instead of the system editor; per-session recent-file tracking; pairs with dsh-vision-opencode for visual-verification workflows.

deepseek deepseek-v4 deepseek-v4-pro dsh
1 0 0
1 天前
开发工具 技能

embedded-workbench

AmethystLuna

Embedded C/C++ AI engineering plugin — firmware skills (FreeRTOS, Keil, HardFault, state machines) + 1% Rule / Plan Verification Gate discipline | 嵌入式 C/C++ 工程 AI 插件:固件技能与 agent 纪律。 For Claude Code, Codex, Cursor, Kimi, OpenCode, ZCode and DeepSeek Harness (dsh)

agent-plugin agent-skills c-cpp claude-code
0 1 0
1 天前
界面增强 插件

dsh-preview

Viger1

👁 Eyes for your DeepSeek Harness agent — it opens, sees, and fixes what it builds. Headless-browser verification tools + a bundled self-check skill.

ai-agent browser-automation deepseek-harness dsh
0 0 0
今天
其他 插件

dsh-loom

ZTCNO0NE

Loom (织机) — external coach / second verifier for DeepSeek Harness: silently evolves your agent's tools, skills, config and model, with deterministic verification and cold-apply.

ai-agent deepseek-harness dsh dsh-plugin
0 0 0
今天
Agent 与会话 技能

A battle-tested methodology for high-difficulty AI-agent projects: grading gates, evidence-driven verification & self-evolution. OpenClaw & DSH versions.

agentic ai-agents deepseek-harness dsh
0 0 0
2 天前
其他 待识别

DSH 插件生态调研与个人整合包搭建记录：调研 / 审核 / 加固 / 验证 ｜DSH plugin ecosystem research & integration-bundle design notes: survey / audit / hardening / verification

dsh-plugin
0 0 0
3 天前
Agent 与会话 插件

gewu-tools

nyantused-cpun

格物审视面：让 DSH 无视觉模型经视觉子代理完成视觉检验。Model-agnostic visual-inspection pipeline for DSH: HTML screenshots + vision-subagent briefing + source-code truth verification. Install: npm i gewu-tools

automation dsh dsh-plugin plugin
0 0 0
1 天前
其他 插件

dsh-file-checksum

yan9651688

Raw-file SHA-256 and SHA-512 verification plugin for DeepSeek Harness

checksum deepseek deepseek-harness dsh-plugin
0 0 0
4 天前