dsh-surface-contract-proof

Verified

by dongsheng123132 · MCP & Tools

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

View on GitHub

Verified plugin

Depends on the Cordis runtime or ships a cordis.yml, so it loads as a real dsh plugin.

What we found in the repo

— depends on @deepseek-ai/dsh-tools
— npm package dsh-surface-contract-proof

Installing

Install the package, then register it in your cordis.yml:

npm install dsh-surface-contract-proof

# cordis.yml
plugins:
  dsh-surface-contract-proof:

Plugin keys and config options vary — check the repo's README before copying this in. dsh is in developer preview and its loader format is still changing.

Repository details

Stars: 0
Forks: 0
Open issues: 0
Language: JavaScript
License: MIT
npm package: dsh-surface-contract-proof @ 0.1.0
Created: 2026-08-14
Last push: 2026-08-14

Topics

clicontract-testingdeepseek-harnessdshdsh-pluginevidencemcp

More in MCP & Tools

dsh-context-doctor

Verified

Zhenyu98

DSH 上下文注入审计插件：统计 AGENTS.md 指令链/技能目录/工具 schema 的 token 成本，检测重复与冲突；Web UI 圆环面板 + context_audit 工具。Context Doctor for DeepSeek Harness: audit instruction-chain / skill catalog / tool schemas token cost.

6JavaScriptupdated today

dsh-oauth-mcp-client

Verified

springbrand-lab

OAuth 2.1 Streamable HTTP MCP client plugin for DeepSeek Harness.

6TypeScriptupdated today

dsh-diff-viewer

Verified

lehhair

DSH Web GUI PiUI-style diff viewer plugin: replaces the stock DiffBlock for write/edit tool calls via ui-tool diff-card chain slots (host patch included). Private.

5TypeScriptupdated today

nowledge-mem-deepseek-harness

Verified

nowledge-co

Nowledge Mem community plugin bundle for DeepSeek Harness

4JavaScriptupdated today

dsh-better-browser

Verified

titanwings

DSH 真实浏览器插件：通过 Kimi WebBridge 让 Agent 操作用户已登录的浏览器，并提供 13 个 webbridge_* 工具。 / Let DSH Agents use your signed-in browser through thirteen Kimi WebBridge tools.

3TypeScriptupdated today

dsh-search-mcp

Verified

gxpppp

Replace dsh's built-in web search with search MCP servers (Tavily/Brave/Exa/Perplexity/DuckDuckGo/custom), configured from the web Settings page. Disables the built-in DeepSeek search provider while enabled.

3JavaScriptupdated today