Auto71%Harbor: pendingCodingAgentic / Tool Use

SpecGuardBench

SpecGuardBench: Can Coding Agents Construct Reliable Validation Harnesses from Natural Language Specifications?

A benchmark of 291 tasks evaluating if coding agents can construct faithful validation harnesses (checks and scenarios) from natural language specifications in real-world repositories.

How to run

ltb · specguardbench
$ npm i -g lettokenburn-cli
$ ltb bench info specguardbench

External harness. No Harbor adapter has been generated for this benchmark yet. `ltb bench info` prints the known links.

Runs happen on your machine with your own subscription; only the score summary is pushed. CLI docs

Scores

4 sourced entries
HarnessSourceConfidenceLink
GPT-5.6 Sol81.8codexIndependentmediumOct 12, 2026arxiv.org
GLM-5.374.2opencodeIndependentmediumOct 12, 2026arxiv.org
DeepSeek V4 Pro66.7opencodeIndependentmediumOct 12, 2026arxiv.org
Claude Opus 565.3claude codeIndependentmediumOct 12, 2026arxiv.org

Every number links to where it was published. Low-confidence rows are muted and need per-cell verification.

Reproduced by the community

All runs
Loading community runs…

About

SpecGuardBench comprises 291 tasks from 13 real-world repositories, covering 8 verification logic types. Agents must generate executable checks and test scenarios based on natural language specs.

Scoring measures faithfulness (accepting valid/rejecting invalid code) and thoroughness. Best agents achieved <63% faithfulness, struggling to decouple checks from reference implementations.