formin/spec-kit-harness

Spec Kit extension: state-externalizing research harness (budgeted exploration, evidence curation, claim verification) based on Harness-1 (arXiv:2606.02373)

This repository also configures its own agents. See what spec-kit-harness tells them →

7Stars on the repository
8Mods indexed here, across every type
3mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

formin/spec-kit-harness

Command Claude Code

Run a budget-aware exploration loop that externalizes every finding into the harness state files.

not rated 7 3mo ago A 16 tokens original MIT

formin/spec-kit-harness

Command Claude Code

Initialize externalized harness state (budget, candidates, curated set, evidence, verification, observations) for the active feature.

not rated 7 3mo ago A 23 tokens original MIT

formin/spec-kit-harness

Command Claude Code

Synthesize curated evidence and verification records into the feature's research.md with a coverage table.

not rated 7 3mo ago A 17 tokens original MIT

formin/spec-kit-harness

Command Claude Code

Adversarially verify claims in spec/plan artifacts against primary sources and record verdicts.

not rated 7 3mo ago A 18 tokens original MIT

reference

06

formin/spec-kit-harness

Command Claude Code

All five commands are prompt files in commands/, registered in extension.yml. Each resolves HARNESSDIR the same way: config file → SPECKITHARNESS env vars → arguments; feature directory from the current git branch (e.g. branch 003-user-auth → specs/003-user-auth/), else the most recently modified directory under…

not rated 7 3mo ago A 0 tokens original MIT

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: