dsh-proof
Evidence-driven completion proof and in-flight regression attribution plugin for DeepSeek Harness.
Install
$ dsh plugin --profile web add dsh-proof # from a registryPlugin Overview & Capabilities
AI-assisted organization based on the public repository snapshot. The content must be grounded in source evidence and does not replace compatibility or security verification.
Key Capabilities
- Records execution outcomes into an append-only, content-addressed evidence chain (APP/1.4)
- Offers 9 model-facing DSH tools including proof_status, proof_verify, proof_claim, and proof_jury
- Performs Bayesian verification ranking checks by expected information gain per millisecond
- Detects and attributes test regressions in-flight against baseline Merkle roots
- Enforces typed completion contracts (behavior-preserving, behavior-adding, perf-budget, docs-only, jury)
- Supports multi-agent proof delegation lattices and transparent checkpoint publication
Useful For
- Verifying that agent code changes actually pass required checks rather than relying on self-reported completion
- Attributing broken tests directly to file modifications before committing or merging
- Enforcing tamper-evident audit trails with out-of-band Ed25519 anchors for autonomous coding tasks
- Distilling verified execution histories into clean datasets for agent training and evaluation
Who It Fits
- DeepSeek Harness developers and agent operators
- Autonomous coding agent system maintainers
- Teams requiring rigorous verification, compliance ledgers, and regression prevention
Documented Limitations
- Static check discovery does not sandbox commands; checks execute via the project's native build and test tools
- Tail records above the latest signed checkpoint rely on hash chaining until the next checkpoint cadence
- Anchor verification requires access to host-held keys; missing anchors degrade rewind detection
- Unsigned chains provide tamper resistance only up to the integrity of the underlying filesystem
DSH Compatibility
Version-specific runtime evidence collected by DSH Plugin. A missing result means we have not tested that combination yet.
Security Signals
Objective signals discovered from package metadata and source inspection. These are not a guarantee that a plugin is safe.
package.json declares 1 runtime, 3 development, 2 peer, and 0 optional dependencies.
package.json declares DSH bundle metadata.
GitHub reports the repository license as MIT.
A root package.json was captured and can be inspected by the registry.
package.json declares a prepare lifecycle script that may run during relevant package installation workflows.
Public GitHub source metadata is available for this registry snapshot.
Source & Registry Notes
Public provenance, Registry classification, and the latest source check for this entry, kept separate from runtime verification.
- Source repository
- beijingwahw/dsh-proof
- Registry source
- GitHub · dsh-plugin topic
- Registry classification
- Plugin
- Source checked
- fff9fe8 · 2026-10-18
This project is independently indexed from public source information. DSH Plugin is not affiliated with DeepSeek or the plugin author. Always check the author repository before installation.
Repository Activity
- GitHub stars
- 0GitHub stars
- Forks
- 0
- Open issues
- 0
- Last commit
- 2026-10-06
- Last release
- No release detected
Related DSH Plugins
Ranked by overlapping capabilities, use cases, plugin type, categories, and DSH profile.
Native SQLite-backed task management and project board bundle with Web UI and Agent workflow tools for DeepSeek Harness.
View plugin →Persistent multi-model agent teams with dynamic DAG orchestration, run monitoring, and token insights for DeepSeek Harness.
View plugin →Agent skill for DeepSeek Harness that turns ideas, plans, and codebases into interactive architecture diagrams.
View plugin →Full office suite integration for DeepSeek Harness supporting spreadsheets, docs, slides, bases, and canvases.
View plugin →