v1.0.0 — Research Harness

Initial release of Research Harness, a Spec Kit extension that brings the state-externalizing harness pattern of Harness-1 (arXiv:2606.02373) / pat-jj/harness-1 to spec-driven development.

Commands

• /speckit.harness.init — create per-feature harness state (budget ledger, candidate pool, curated set, evidence links, verification records, observations)
• /speckit.harness.explore — budget-aware exploration loop with strict policy/bookkeeping separation and a marginal-gain stop rule
• /speckit.harness.verify — adversarial claim verification against primary sources
• /speckit.harness.status — budget-aware context rendering; resume any session from files
• /speckit.harness.report — synthesize evidence into research.md with a requirement-coverage table

Hooks

• after_specify → speckit.harness.init (optional)
• after_plan → speckit.harness.verify (optional)

Install

specify extension add harness --from https://github.com/formin/spec-kit-harness/archive/refs/tags/v1.0.0.zip

Requires Spec Kit >= 0.2.0. No external tools, MCP servers, or network access required.