The spec verifier: turns a feature description into a 9-file PRD and verifies it — deterministic Hard Output Rules + multi-judge consensus calibrated against external oracles (schema/math/code). Works standalone or as a CI gate for specs from spec-kit, Kiro, or BMAD. 17 MCP tools · 877 tests.
Autonomous software engineering pipeline for Claude Code: 11 stages, 64 verification rules, 17 codebase intelligence tools, 5 science-backed git analytics. Findings → PRD → verified PR with zero LLM judges.