GITHUB TOPIC

code-verification

2projects include this topic

The "code-verification" topic on GitHub groups 2 open-source projects in the DeepSeek Harness (DSH) ecosystem, led by DSH-changeproof with 6 GitHub stars. DSH-changeproof — ChangeProof — DeepSeek Harness plugin: after a code change, confirm the changed lines are really covered by tests. Every project here is indexed by DSH Universe with live GitHub data — stars, activity and install status — so you can compare and install directly.

{count} projects

Exact GitHub Topic match

Files & dataPlugin

DSH-changeproof

Apageoflove

ChangeProof — DeepSeek Harness plugin: after a code change, confirm the changed lines are really covered by tests

Structure check pending

agent-toolschanged-line-coveragechangeproofcode-verification

Development toolsPlugin

anchorlaw

unknowbug

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

Structure check pending

ai-assisted-developmentcode-qualitycode-verificationcpp