DSH-PLUGIN STORE / LIVE CATALOG

DSH插件商店

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

已收录
4403
功能分类
11
更新时间
08/18 02:30

5 个项目,匹配「verification」

开发工具 基础设施

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

agent-infrastructure deepseek-harness developer-tools dsh-plugin
开发工具 插件

anchorlaw

unknowbug

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

ai-assisted-development code-quality code-verification cpp
开发工具 插件

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
开发工具 技能

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
开发工具 技能

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