VultrVultr
返回目录

GITHUB TOPIC

verification

7个项目包含此标签

7 个项目

GitHub Topic 精确匹配

开发工具基础设施

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

非插件验证范围
agent-infrastructuredeepseek-harnessdeveloper-toolsdsh-plugin
文件与数据插件

DSH-changeproof

Apageoflove

变更证明(ChangeProof)— DeepSeek Harness 插件:代码改动后确认改动的行真的被测试覆盖到

待结构检查
agent-toolschanged-line-coveragechangeproofcode-verification
开发工具插件

anchorlaw

unknowbug

Code verification protocol for vibe coding — every claim must have a verifiable practice anchor.

待结构检查
ai-assisted-developmentcode-qualitycode-verificationcpp
开发工具技能

logicprobe

AmethystLuna

Claim verification for AI coding agents — 7 structural + 7 adversarial logic-primitive probes against design docs & refactoring plans | AI 编程助手声明核查插件:对设计文档与重构计划做逻辑原语验证(7 结构 + 7 对抗探针) for Claude Code, Codex, Cursor, Kimi, OpenCode, ZCode and DeepSeek Harness (dsh)

待结构检查
agent-pluginagent-skillsai-agentsclaude-code
其他插件

dsh-autopilot

245678000000

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

待结构检查
acceptancedeepseek-harnessdsh-pluginverification
开发工具完整应用

fullstack-expert

adithya-hmt

Cordis-native, evidence-driven full-stack engineering discipline for DeepSeek Harness agents

非插件验证范围
coding-agentcordisdeepseek-harnessdsh-plugin
其他插件

AI 说"做完了"?先让它拿证据:目标盖章前强制跑测试,收工前再查一遍 — DeepSeek Harness 插件 / Make your dsh agent prove it's done: gated goal completion + turn-end verification

待结构检查
agentdeepseek-harnessdsh-pluginverification