Spec-driven development tools for coding agents: OpenSpec, Spec Kit and four new frameworks compared

OpenSpec is the pick for most: MIT, 38 agents, half Spec Kit's tokens in one test. Eight spec-driven tools, and what each adds over a plain AGENTS.md.