CordisPluginGuide & Directory
English简体中文한국어

dongsheng123132 / dsh-surface-contract-proof

Listed

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

mainTool View source

Installation

npx -y @deepseek-ai/dsh plugin --profile web add github:dongsheng123132/dsh-surface-contract-proof

This installation command is an unverified starting point generated from the GitHub repository address.

Repository information

Language
JavaScript
License
MIT
Last updated
Aug 14, 2026, 10:52 AM

Install deliberately

Review source code, permissions, lifecycle hooks, dependencies and network access. Test untrusted plugins in an isolated environment.

Related plugins

More plugins

View all plugins

mnemon

Model · Tool · Session

433

LLM-supervised persistent memory for AI agents — graph-based recall, cross-session knowledge, single binary. Works with DeepSeek Harness, Claude Code, OpenClaw, and any agent runtime.

npx -y @deepseek-ai/dsh plugin --profile web add github:mnemon-dev/mnemon
GitHub installView details

phi

Model · Tool

78

a coding Agent from pi. ∞ providers, sub-agents, hashline edits, and a permission gate

npx -y @deepseek-ai/dsh plugin --profile web add github:pulseaiclub/phi
GitHub installView details

jacobian

Model · Tool

43

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

npx -y @deepseek-ai/dsh plugin --profile web add github:morluto/jacobian
GitHub installView details

dsh-work

Model · Tool · Skill · Session

25

Local-first AI workbench for DSH Plugins, combining Agent sessions, project files, data analysis, web research, MCP, and Office artifacts in an Electron desktop app.

npx -y @deepseek-ai/dsh plugin --profile web add github:vibeinging/dsh-work
GitHub installView details

seektty

Model · Tool

3

Pluggable DeepSeek-colored TUI for DeepSeek Harness

npx -y @deepseek-ai/dsh plugin --profile web add github:Hilbert-beinghappy/seektty
GitHub installView details

godot-bridge

Tool

2

DSH (DeepSeek Harness) plugin that launches and drives a running Godot 4.x game through its in-game TCP interaction server — replaces the godot-mcp MCP server with native agent tools.

npx -y @deepseek-ai/dsh plugin --profile web add github:Smalldy/godot-bridge
GitHub installView details