返回目录

GITHUB TOPIC

verification

7个项目包含此标签

7 个项目

GitHub Topic 精确匹配

文件与数据

DSH-changeproof

Apageoflove

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

已验证
agent-toolschanged-line-coveragechangeproofcode-verification
开发工具

Privacy-minimal heuristic per-turn verification summaries for DeepSeek Harness

已验证
agent-infrastructuredeepseek-harnessdeveloper-toolsdsh-plugin
开发工具

Zero-dependency verification standard for DeepSeek Harness (dsh) plugins — static structure gates (R), cordis contract checks (K), sandbox smoke (D), ecosystem-listing checks (CC). 零依赖 DSH 插件核验标准:静态结构门禁、cordis 契约扫描、无头沙箱冒烟与生态收录核验。

已验证
cordisdeepseek-harnessdoctordsh
模型与 MCP

dsh-verify

263311487-ux

The quality gate for agent-built web apps. Real-browser acceptance checks — CLI, MCP (Claude Code / Cursor / Copilot), GitHub Action. Agents self-test and pass; real browsers tell the truth.

已验证
acceptance-testingagentai-agentsbrowser-testing
开发工具

dsh-autopilot

245678000000

Acceptance-driven autonomous completion for DeepSeek Harness. Done means verified.

已验证
acceptancedeepseek-harnessdsh-pluginverification
开发工具

dsh-fact-check

7starsseeker

Fact-checking skill for DeepSeek Harness: multi-source verification against the open web, domestic and international ecosystems, optional TypeSafe Jev (System One) judgements.

已验证
cordis-plugindeepseek-harnessdeepseek-harness-plugindsh
开发工具

butler-git

Hercules-debug

把「我改完了」变成可验证的事实:Δ(预期改动)+ P(检测程序)全过才产生 commit。零依赖,只用 node 和 git。 | Turn 'done' into a verifiable fact — a commit exists only if Δ + P both pass.

已验证
ai-agentdeepseek-harnessdshdsh-plugin