A curated and benchmarked list of frameworks, tools, helpers, articles, talks, courses, books, and reports for spec-driven development (SDD) — the practice of putting a written specification at the centre of AI-assisted software engineering.
Last refreshed: 2026-05-12. Star history, scores, and dates are based on the primary repositories and the Sources section at the bottom.
Spec-driven development is the counter-movement to vibe coding: instead of throwing prompts at an LLM and hoping, you write a structured, versioned spec first and let agents work against it. SpecBench provides two things:
- This list — every tool, helper, article, paper, podcast, and report we've found that meaningfully advances SDD. Curated, opinionated, annotated.
BENCHMARK.md+benchmark/— a reproducible 8-dimension benchmark with an automated runner (benchmark/runner/) that produces objective, machine-readable scorecards for every framework. See the aggregated results.
Inclusion criteria — a resource is listed if it does at least one of: defines a structured spec artefact; provides a phased intent→spec→plan→tasks→code workflow; offers conventions that let humans and agents agree on "done"; or — for articles, books, talks — meaningfully informs the practice. Pure prompt collections, generic agent SDKs, and "rules files" with no methodology are out of scope.
Legend: 🟢 active · 🟡 maintained but slow · 🔴 archived · 🏢 vendor-backed · 🌱 community · 🔒 closed source · ⭐ flagship in its category · 🎓 educational · 📄 paper · 📘 book · 🎤 talk · 🎧 podcast · 📊 report.
Frameworks & tools
- End-to-end SDD frameworks
- Lightweight spec frameworks
- Vendor-IDE SDD platforms
- Multi-agent / role-play frameworks
- Context and convention files
- Spec languages and notations
- Planning, plan/act, architect modes
- Task management and orchestration
- PRD / intent capture
- Verification, contracts, formal methods
- Helpers, linters, validators
- MCP servers and dashboards
- Prompt and skill libraries
- Adjacent and supporting tools
Learning & community 15. Courses and trainings 🎓 16. Books 📘 17. Articles and essays 18. Academic papers 📄 19. Talks and videos 🎤 20. Podcasts 🎧 21. Industry reports and statistics 📊 22. Historical lineage 23. Other awesome lists 24. Communities
Cover the full intent → spec → plan → tasks → code lifecycle.
- ⭐ GitHub Spec Kit 🟢🏢 — Python CLI toolkit. Four-phase slash-command flow:
/specify,/plan,/tasks,/implement. Supports 30+ coding agents (Claude Code, Copilot, Cursor, Gemini CLI, Codex). The most adopted open-source SDD reference implementation; ~93k stars as of May 2026. - BMAD-METHOD 🟢🌱 — "Breakthrough Method for Agile AI-Driven Development". MIT, ~46k stars. 21 named-persona agents (Mary the Analyst, Preston the PM, Winston the Architect, Sally the PO, Simon the SM, Devon the Dev, Quinn the QA …) and 50+ workflows. "Party Mode" puts multiple personas in one session.
- Agent OS 🟢🌱 — Three-layer context (Standards / Product / Specs). v3 defers spec writing to the host agent's plan mode and adds
/shape-specand/discover-standards. Works with Claude Code, Cursor, Antigravity. - Claude Code Spec Workflow (Pimzino) 🟢🌱 — Requirements → Design → Tasks → Implementation flow for Claude Code, with a parallel bug-fix workflow (Report → Analyze → Fix → Verify).
- cc-sdd 🟢🌱 — A minimal, adaptable SDD harness packaged as Agent Skills. Supports Claude Code, Codex, Cursor, Copilot, Windsurf, OpenCode, Gemini CLI, Antigravity. Phase-gated: agents write the spec, humans approve the contract.
- MoAI-ADK 🟢🌱 — Agentic Development Kit for Claude Code with 24 specialised agents and 52 skills. Auto-applies TDD on greenfield, DDD on brownfield-with-no-tests.
- Colign 🟢🌱 — AI-powered spec-writing and team-alignment platform. Exposes specs as an MCP server so Claude Code, Cursor, Windsurf, and VS Code Copilot can all read/write them.
- SPARC / SPARC2 / claude-flow 🟢🌱 — Specification → Pseudocode → Architecture → Refinement → Completion. Integrated with Roo Boomerang orchestration and
claude-flowswarm mode. - cc-spex 🟢🌱 — SDD based on Spec Kit, extended with custom traits.
Minimal ceremony, plain markdown, designed to graft onto any repo.
- ⭐ OpenSpec 🟢🌱 — Three-phase state machine (
propose→apply→archive) and delta specs (ADDED/MODIFIED/REMOVEDmarkers). Explicitly designed for brownfield. Each change becomes a folder withproposal.md,specs/,design.md,tasks.md. Companion list: awesome-openspec. - LeanSpec 🟢🌱 — Five first principles: context economy (specs < 2k tokens), signal-to-noise, intent over implementation, bridge the human/AI gap, progressive disclosure. Targets <100 lines per spec.
- fspec 🌱 — Gherkin-based spec system that auto-generates tests and links code to business rules.
- spec-driver 🌱 — small community framework from the
spec-driventopic. - Shotgun / get-shit-done / MetaSpec / quint-code / adversarial-spec 🌱 — smaller experimental frameworks tracked by the Engineering4AI list.
Tightly integrated, IDE-bound, vendor-stewarded.
- ⭐ Kiro 🟢🏢🔒 — AWS agentic IDE. Spec is "the unit of work":
requirements.md(EARS notation),design.md,tasks.mdper feature, plus cross-cutting steering docs. Builds a dependency graph from tasks and runs independent tasks in concurrent "waves". Agent Hooks and MCP integration. - ⭐ Tessl 🟢🏢🔒 — Agent Enablement Platform. Installs "tiles" into
.tessl/; any MCP-compatible agent reads them. The spec-driven-development tile forces interview-first then spec-first behaviour. The Tessl Spec Registry has 10k+ pre-built specs of OSS libraries so agents don't hallucinate APIs. - Zencoder 🟢🏢🔒 — IDE assistant with a documented spec-driven workflow.
Use named personas to model a real product team.
- BMAD-METHOD (see §1) — the canonical example with 21 personas.
- Roo Code Orchestrator / Boomerang Tasks 🟢🌱 — An "Orchestrator" mode breaks a complex task into sub-tasks, each delegated to a specialised mode (Code / Architect / Debug). Each sub-task runs in isolated context; only summaries return to the parent ("boomerang").
- CrewAI 🟢🌱 — Framework for orchestrating role-playing autonomous agents — each agent has a role, goal, and backstory. Not SDD-specific but widely used to build SDD pipelines.
- Microsoft AutoGen 🟢🏢 — Conversational multi-agent framework with the classic Solver/Critic pattern. Often the substrate under custom SDD orchestrations.
- awesome-claude-code-subagents 🟢🌱 — 100+ specialised Claude Code subagents covering many development use cases.
- claude-flow swarm mode 🟢🌱 — Parallel SPARC sub-tasks with a swarm coordinator.
Single-file or single-folder conventions any agent can consume.
- ⭐ AGENTS.md 🟢🌱 — Vendor-neutral "README for agents". Adopted by OpenAI Codex, GitHub Copilot, Cursor, Aider, Continue, Google Jules, Factory, Amp. Stewarded by the Agentic AI Foundation under the Linux Foundation; 60k+ open-source projects.
- CLAUDE.md 🟢🏢 — Claude Code's project-memory convention; hierarchical user/project/local scopes.
- Cursor Rules
.mdc🟢🏢 — YAML frontmatter (description,globs,alwaysApply). Four activation modes: Always / Auto-Attached / Agent-Requested / Manual. Replaces the older single-file.cursorrules. Reference list: awesome-cursor-rules-mdc. - GitHub Copilot custom instructions 🟢🏢 —
.github/copilot-instructions.mdrepo-level guidance. - Aider CONVENTIONS.md 🟢🌱 — Plain-markdown conventions loaded via
/read CONVENTIONS.mdor.aider.conf.yml. - Cline Memory Bank 🟢🌱 — Six-file structured memory (
projectBrief.md,productContext.md,systemPatterns.md,techContext.md,activeContext.md,progress.md) that survives context resets. Pairs with Cline Plan/Act. - Continue.dev rules 🟢🌱 — Composable rule files attached per workspace or model.
Formal-ish languages designed for human + AI consumption.
- ⭐ EARS 🟢🌱 — Easy Approach to Requirements Syntax. "WHEN … THE SYSTEM SHALL …" patterns developed at Rolls-Royce; used by Kiro and many newer frameworks.
- Gherkin / Cucumber 🟢🌱 — Given/When/Then BDD scenarios. Predates AI; re-emerging as spec input.
- SpecFlow / Reqnroll 🟢🌱 — .NET BDD framework (Reqnroll is the maintained fork of SpecFlow).
- TLA+ 🟢🌱 — Formal spec language for state machines; increasingly paired with LLMs for safety-critical systems.
- Alloy 🟡🌱 — Lightweight formal modelling.
- Spec# / JML / OCL — Design-by-Contract heirs to Eiffel.
- OpenAPI / AsyncAPI / JSON Schema / Protocol Buffers / GraphQL SDL 🟢🌱 — Structural contracts embedded as the "interface" layer of many spec frameworks.
- FPF — First Principles Framework 🌱 — Rigorous specification framework for modelling systems and knowledge.
Turn an approved spec into an executable plan before any edit lands.
- Claude Code plan mode 🟢🏢 — Read-only plan phase; the default planning slot for many other frameworks.
- Cline Plan / Act 🟢🌱 — Plan evaluates Memory Bank completeness, Act executes and documents.
- Aider architect / editor mode 🟢🌱 — Two-model split: smart "architect" proposes, cheaper "editor" emits diffs.
- Roo Code Architect mode 🟢🌱 — Dedicated planning mode; entry point to Boomerang orchestration.
- Goose plan mode 🟢🌱 — Block's open-source agent with a separate planning step.
Spec → task graph → execution.
- TaskMaster (
claude-task-master) 🟢🌱 — PRD-to-task system, MCP-served.parse-prd,list,next. Topologically ordered, dependency-aware. Works in Cursor, Lovable, Windsurf, Roo. - Backlog.md 🟢🌱 — Markdown-first task tracking.
- Spec Kitty 🌱 — Workflow helper for spec-driven repos.
- vibe-kanban 🌱 — Kanban UI tuned for AI workflows.
Front-of-the-funnel: capturing what we want before we spec it.
- ChatPRD 🟢🏢🔒 — AI PM co-pilot; drafts and iterates PRDs from briefs. ~100k PM users.
- Amazon PRFAQ / Working Backwards 🟢🌱 — Press-release-first product definition. Cultural ancestor of much SDD.
- Vibe Coding Prompt Template 🟢🌱 — Templates and workflow for generating PRDs, tech designs, MVPs via LLMs.
- BMAD Analyst persona (Mary) — structured discovery phase.
Closing the loop: mechanically proving the spec is satisfied.
- ⭐ Schemathesis 🟢🌱 — Property-based API testing generated from OpenAPI / GraphQL. Built on Hypothesis. Finds 500s, schema violations, validation bypasses, stateful bugs.
- Pact 🟢🌱 — Consumer-driven contract testing — HTTP and message integrations. JavaScript, .NET, JVM, Python, Ruby, Go.
- Hypothesis / fast-check / PropEr 🟢🌱 — Property-based testing libraries; pair well with spec-derived invariants.
- Stainless 🟢🏢 — Code generation from OpenAPI; the "code-from-spec" half.
- TLA+ model checker (TLC) 🟢🌱 — Exhaustive checking for critical state machines.
- Reqnroll / SpecFlow 🟢🌱 — .NET acceptance test runners for Gherkin specs.
- BMAD QA persona (Quinn) — workflow-encoded verification gate.
Quality gates for the spec itself.
- ⭐ RequirementLinter 🟢🌱 — LLM-powered linter that checks user stories against the INCOSE "Guide to Writing Requirements" — vague terms, active voice, measurable performance criteria, structural completeness. IDE feedback in <10s.
- gherkin-lint 🟢🌱 / gherlint (Python) / @gherlint/gherlint (Node) — Style and structure linters for Gherkin feature files.
- Redocly CLI / IBM openapi-validator / superfaceai/openapi-linter 🟢🌱 — Lint OpenAPI documents against API style guides.
- Spectral 🟢🌱 — Flexible JSON/YAML linter; ships rulesets for OpenAPI, AsyncAPI.
- PaceAI SRS Generator / Sommo SRS / Taskade SRS 🏢🔒 — AI generators for Software Requirements Specifications.
- ⭐ spec-workflow-mcp (Pimzino) 🟢🌱 — MCP server exposing the Requirements → Design → Tasks → Implementation workflow. Real-time web dashboard (port 5000), VS Code sidebar extension, approval workflow, task progress bars. Works with Claude Desktop, Cursor, Continue, Cline, and others.
- mcp-server-spec-driven-development 🌱 — Generic MCP server for SDD.
- Glama MCP catalogue — index of MCP servers including several SDD-relevant ones.
Reusable building blocks.
- Claude Code skills 🟢🏢 — Anthropic's official skills repository.
- awesome-claude-code-subagents 🟢🌱 — 100+ specialised subagents.
- repowise-dev/claude-code-prompts 🟢🌱 — System prompts, tool prompts, agent delegation, memory management, multi-agent coordination patterns.
- shawnewallace/prompt-library 🟢🌱 — Personal library of prompts and agent definitions.
- awesome-prompt-engineering 🟢🌱 — Broader prompt-engineering reference.
- Microsoft prompt-engine 🟡🏢 — Helps codify prompt patterns and practices.
- Model Context Protocol (MCP) 🟢🌱 — Transport many spec frameworks expose themselves over.
- Specstory 🟢🏢 — Captures and curates agent session history; raw material for after-the-fact specs.
- VibeDoc 🌱 — Documentation companion for spec-driven repos.
- DeepLearning.AI — Spec-Driven Development with Coding Agents — Short course built with JetBrains; taught by Paul Everitt. Free.
- Microsoft Learn — Implement SDD using GitHub Spec Kit (enterprise)
- Microsoft Learn — Get Started with SDD and GitHub Spec Kit (greenfield intro)
- Udemy — SDD: From Vibe-Coding to AI Engineering — ~3h 45m, paid.
- Udemy — Master AI Spec-Driven Development with BMAD Method — Upstream-thinking / Downstream-building split.
- Class Central — Hello, Spec-Driven Development (AWS Events) — Free.
- LinkedIn Learning — Spec-Driven Development with GitHub Spec Kit — With course code repo.
- Anthropic — Introduction to Agent Skills — Free, official.
- DeepLearning.AI — Multi-AI-Agent Systems with crewAI — Free, useful background on role-based multi-agent design.
- AI Engineering — Chip Huyen, O'Reilly 2025 — Foundation-model app engineering; relevant chapters on evaluation, prompt engineering, agents. Companion repo: chiphuyen/aie-book.
- Working Backwards — Colin Bryar & Bill Carr, 2021 — Authoritative account of Amazon's PR/FAQ method. The cultural ancestor of intent-first SDD.
- Specification by Example — Gojko Adzic, 2011 — How successful teams deliver the right software via collaborative spec workshops; the foundational ATDD text.
- Bridging the Communication Gap — Gojko Adzic, 2009 — Original ATDD / "agile acceptance testing" book.
- ATDD by Example — Markus Gärtner, 2012 — Practical guide to acceptance-test-driven development.
- Object-Oriented Software Construction — Bertrand Meyer, 1997 (2nd ed.) — Design by Contract; pre + post conditions and class invariants. The intellectual ancestor of executable specs.
- The PRFAQ Framework — Marcelo Calbucci, 2024 — Modern, opinionated guide to running the PR/FAQ at non-Amazon companies.
- Andrej Karpathy on "vibe coding" — The tweet that started the counter-movement. February 2025.
- Spec-Driven Development: From Vibe Coding to Structured Development — Zarar's Blog
- Spec-Driven Development: Stop Vibe Coding, Ship Real Code — Agentic Blog
- Karpathy's Vibe Coding Movement Considered Harmful — nmn.gl
- Spec-driven development with AI: a new open-source toolkit — GitHub Blog — GitHub's announcement of Spec Kit.
- Understanding Spec-Driven Development: Kiro, Spec Kit, Tessl — Martin Fowler — Hands-on comparison.
- Diving Into SDD with GitHub Spec Kit — Microsoft for Developers
- Beyond Vibe Coding: A Guide to Spec Kit, BMAD, Kiro — Agentic SaaS Talks
- I Tested Three Spec-Driven AI Tools — Ran The Builder
- 9 Best AI Tools for SDD in 2026 — MarkTechPost
- 6 Best SDD Tools for AI Coding — Augment Code
- Spec-Driven Development is Eating Software Engineering — Vishal Mysore, Medium — Map of 30+ frameworks.
- Spec-driven AI coding: Spec-kit, BMAD, Agent OS, Kiro — Tim Wang
- Equipping agents for the real world with Agent Skills — Anthropic
- Building agents with the Claude Agent SDK — Anthropic
- Best Practices for Claude Code — Anthropic docs — "Ask Claude questions you'd ask a senior engineer."
- Claude's Context Engineering Secrets — Bojie Li
- Applied BMAD — Reclaiming Control in AI Development — Benny Cheung
- OpenSpec Deep Dive — redreamality.com
- How Tessl's Products Pioneer SDD — Tessl Blog
- Spec-Driven Development on AWS — Lefteris Karageorgiou
- What is vibe coding, exactly? — MIT Technology Review
- "Out of the Tar Pit" — Moseley & Marks, 2006 — The classic argument for separating essential state and logic, which is what a good spec captures.
- Large Language Models for Requirements Engineering: A Systematic Literature Review — 74 primary studies (2023–2024). Arxiv:
2509.11446. - Using LLMs in Software Requirements Specifications: An Empirical Evaluation — Arxiv:
2404.17842. - LLM-Assisted Repository-Level Generation with Structured Spec-Driven Engineering — Arxiv:
2605.02455. - Leveraging LLMs for Formal Software Requirements: Challenges and Prospects (VERIFAI project) — Arxiv:
2507.14330. - Exploring the Use of LLMs for Requirements Specification in an IT Consulting Company — Arxiv:
2507.19113. - Aligning Requirements for LLM Code Generation (Specine) — Arxiv:
2509.01313. - Improving LLM Code Generation via Requirement-Aware … — Arxiv:
2605.00433. - Vibe Coding: Programming through Conversation with AI — Arxiv:
2506.23253. - From Online User Feedback to Requirements: Evaluating LLMs for … — Arxiv:
2510.23055. - Design by Contract — Bertrand Meyer, IEEE Computer, 1992 (ACM DL). The foundational paper for executable specifications.
- Hello, Spec-Driven Development — AWS Events — Building an application from scratch with AI-guided specs.
- New course! Spec-Driven Development — DeepLearning.AI announcement
- How I Code With AI Agents (Spec-Driven Development) — Practitioner walkthrough.
- Cline Memory Bank setup walkthrough
- QCon AI Boston 2026 / QCon AI NYC 2025 — AI-engineering tracks; multi-agent and SDD sessions.
- QCon London 2026 — AI Engineering and Building Teams tracks.
- Latent Space: The AI Engineer Podcast — Recurring coverage of SDD, "ghost libraries", agent skills.
- Tessl podcast — Revolutionising SDD with Framework & Registry
- Practical AI — Episodes on agent design, evaluation, requirements.
- The AI Native Dev — Tessl-produced series on agent enablement.
- McKinsey — Unleash developer productivity with generative AI — 2026 update: surveyed 4,500+ developers across 150 enterprises; AI reduces routine-coding time by ~46 %; complex-task completion +25–30 %.
- SWE-bench Leaderboard / SWE-bench Pro — Verified benchmark for AI coding agents on real GitHub issues; the Verified set is now known to contain training-data contamination, motivating Pro (multi-file, 1,865 tasks, 4.1 files avg).
- LiveCodeBench — Contamination-resistant competitive-programming benchmark; fresh problems post-cutoff.
- BenchLM coding leaderboard — Weighted composite of SWE-bench Pro + LiveCodeBench.
- Modall — AI in Software Development Trends 2026
- Index.dev — Top 100 Developer Productivity Statistics with AI Tools 2026
- Shiftmag — "93 % of developers use AI but productivity is only 10 %" — Counterpoint to optimistic numbers.
- Tech Insider — Best AI Coding Tools 2026 ranked
- Trigi Digital — AI Coding Impact 2026: 90 % AI-generated code — Read with appropriate skepticism.
SDD didn't appear from nothing. Useful prior art:
- Design by Contract (DbC) — Bertrand Meyer / Eiffel — Preconditions, postconditions, invariants as executable contracts; 1986 onward.
- Behavior-Driven Development (BDD) — Dan North — Given/When/Then; the cultural template for human-readable acceptance tests.
- Acceptance-Test-Driven Development (ATDD) — Gojko Adzic & Janet Gregory
- Working Backwards / PR-FAQ — Amazon — Press-release-first product definition; mid-2000s.
- Specification by Example — Gojko Adzic
- Literate Programming — Donald Knuth — Code and rationale woven together; 1984.
- Engineering4AI/awesome-spec-driven-development
- Software-Engineering-Arena/awesome-spec-driven-development
- zhimin-z/Awesome-Spec-Driven-Development
- aabs/awesome-specification-driven-development
- wearetechnative/awesome-openspec
- VoltAgent/awesome-claude-code-subagents
- sanjeed5/awesome-cursor-rules-mdc
- promptslab/Awesome-Prompt-Engineering
- caramaschiHG/awesome-ai-agents-2026
- GitHub topics:
spec-driven,spec-driven-development
- r/ChatGPTCoding — large active community on AI coding workflows, including SDD discussions.
- BMAD Discord — linked from the BMad Method docs.
- OpenSpec / Spec Kit issue trackers — primary venue for framework questions.
- Cursor Forum — practitioner threads on rules, planning, SDD recipes.
PRs welcome. Each entry needs: name, link, status emojis, one sentence on what makes it spec-driven, and — if proposing a new category — a one-line definition. See CONTRIBUTING.md. Promotional language, sponsored placements, and entries that are only "AI assisted" without an SDD angle will be rejected.
This refresh was built from May 2026 web research; full per-section sources in commit history. Key primary sites:
- Framework repos: github/spec-kit, bmad-code-org/BMAD-METHOD, Fission-AI/OpenSpec, buildermethods/agent-os, eyaltoledano/claude-task-master, Pimzino/claude-code-spec-workflow + spec-workflow-mcp, gotalab/cc-sdd, modu-ai/moai-adk, colign/colign, codervisor/lean-spec, tesslio/spec-driven-development-tile, RooCodeInc/Roo-Code, Aider-AI/aider, schemathesis/schemathesis, jonverrier/RequirementLinter, crewaiinc/crewai, microsoft/autogen, anthropics/skills.
- Docs sites: kiro.dev/docs, docs.cline.bot, docs.roocode.com, docs.tessl.io, aider.chat/docs, agents.md, chatprd.ai, lean-spec.dev, cucumber.io, reqnroll.net, modelcontextprotocol.io, schemathesis.io, pact.io.
- Surveys & comparisons: MarkTechPost, Augment Code, Medium (Vishal Mysore, Tim Wang), Martin Fowler, Microsoft for Developers, Class Central, DeepLearning.AI, Anthropic engineering blog.
- Academic: arXiv 2509.11446, 2404.17842, 2605.02455, 2507.14330, 2507.19113, 2509.01313, 2605.00433, 2506.23253, 2510.23055.
- Existing awesome lists (linked above).
This list is one of two artefacts in SpecBench. The other:
BENCHMARK.md— Methodology, 8-dimension rubric, five reproducible tasks (CRUD-from-PRD, add-feature, refactor, handover, model-swap), per-framework scorecards, aggregated results, and an automated runner that produces objective, machine-readable scorecards so the comparison is reproducible across frameworks and over time.
License: content CC-BY-4.0; code samples MIT.