jacobian
morluto
Composable mathematics tools for agents
DSH-PLUGIN STORE / LIVE CATALOG
聚合 GitHub 上的 DSH 插件,打造 DeepSeek Harness 生态的一站式目录。
14 个项目,匹配「proof」
morluto
Composable mathematics tools for agents
onlyqzq
Risk-aware approval layer for high-risk AI Agent tool calls
Apageoflove
DeepSeek Harness 插件:确认改动的代码行真的被测试覆盖到,结论绑定代码指纹,代码一变自动过期
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.
dongsheng123132
Reproducible multi-source release evidence for DeepSeek Harness artifacts and mirrors
sryimnoob123
Elbow-proof PowerShell for DeepSeek Harness: pwsh_safe tool runs scripts via base64 -EncodedCommand, immune to quoting/escaping pain, sandbox-seam based
whh110112
Advanced multilingual AI humanizer and writing toolkit for natural prose, voice preservation, long-form continuity, and focused audits.
dongsheng123132
Content-addressed conformance proof across recorded DSH ToolRuntime, MCP JSON-RPC and CLI JSON surfaces
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.
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.
dongsheng123132
Content-addressed proof for body-free DSH tool-result retention and spill custody
dongsheng123132
Offline content-addressed proof that temporary DSH policy waivers stayed within approved bounds
dongsheng123132
该仓库暂未提供项目说明。
dongsheng123132
Offline content-addressed proof that approved Windows control-plane changes settled across required surfaces