DSH-PLUGIN STORE / LIVE CATALOG

DSH插件商店

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

已收录
6553
功能分类
11
更新时间
10/07 02:01

14 个项目,匹配「proof」

模型与 MCP 插件

jacobian

morluto

Composable mathematics tools for agents

ai-agents automated-theorem-proving computer-algebra cordis
安全与治理 插件

dsh-riskproof

onlyqzq

Risk-aware approval layer for high-risk AI Agent tool calls

agent-security dsh-plugin provenance tool-security
文件与数据 插件

DSH-changeproof

Apageoflove

DeepSeek Harness 插件:确认改动的代码行真的被测试覆盖到,结论绑定代码指纹,代码一变自动过期

agent-tools changed-line-coverage changeproof code-verification
开发工具 技能

superstack

debabsah

A full engineering bench for your coding agent: the work survives any session, and every done comes with proof. Runs on Claude Code, Codex CLI, Copilot CLI, Kiro CLI, and DeepSeek Harness.

agent-memory agent-skills agentic-ai ai-agents
其他 插件

dsh-release-proof

dongsheng123132

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

ai-agent artifact-verification deepseek-harness dsh
其他 待识别

dsh-tool-pwsh-safe

sryimnoob123

Elbow-proof PowerShell for DeepSeek Harness: pwsh_safe tool runs scripts via base64 -EncodedCommand, immune to quoting/escaping pain, sandbox-seam based

dsh dsh-plugin
Agent 与会话 技能

Advanced multilingual AI humanizer and writing toolkit for natural prose, voice preservation, long-form continuity, and focused audits.

agent-skills ai-humanizer ai-writing de-ai-writing
模型与 MCP 插件

dsh-surface-contract-proof

dongsheng123132

Content-addressed conformance proof across recorded DSH ToolRuntime, MCP JSON-RPC and CLI JSON surfaces

ai-agent cli conformance contract-testing
文件与数据 插件

dsh-text-master

wj2514939573-ui

dsh-text-master — All-in-one text processing plugin for DeepSeek Harness (Cordis): polish, summarize, translate (24 languages), correct, expand, condense, tone/style conversion, creative writing; batch processing with format preservation (Markdown/docx/PDF) and custom dictionary.

cordis docx dsh dsh-plugin
模型与 MCP 插件

math-rigor

bauerelizabeth07139

Auditable mathematical proving for DeepSeek Harness: a local stdio MCP server (23 tools), a bundled workflow skill, and the /prove and /audit-proof commands. proven / refuted / inconclusive are never conflated, and unproven steps are reported, not hidden.

ai-agent deepseek-harness dsh dsh-plugin
安全与治理 插件

dsh-output-custody-proof

dongsheng123132

Content-addressed proof for body-free DSH tool-result retention and spill custody

audit deepseek-harness dsh dsh-plugin
安全与治理 插件

dsh-policy-waiver-proof

dongsheng123132

Offline content-addressed proof that temporary DSH policy waivers stayed within approved bounds

audit compliance deepseek-harness dsh
其他 插件

dsh-support-lifecycle-proof

dongsheng123132

该仓库暂未提供项目说明。

deepseek-harness dsh dsh-plugin eol
安全与治理 插件

Offline content-addressed proof that approved Windows control-plane changes settled across required surfaces

audit deepseek-harness dsh dsh-plugin