Search papers, labs, and topics across Lattice.
This paper introduces SPECMINE, a comprehensive corpus that captures the artifacts of Spec-Driven Development (SDD) from public GitHub repositories, encompassing nearly half a million specification files and their associated metadata. By conducting extensive censuses of spec files and analyzing pull requests that modify these specifications, the authors provide a detailed view of how structured specifications influence code implementation. The findings reveal a rich dataset that enables researchers to investigate the interplay between AI-generated specifications and coding practices, marking a significant advancement in understanding SDD at scale.
SPECMINE reveals the intricate relationship between AI-generated specifications and code implementation, providing a treasure trove of data for understanding Spec-Driven Development.
Spec-Driven Development (SDD) is a fast-emerging practice in which a structured natural-language specification, written by a developer, or (more often) drafted by an AI tool and then curated by the developer, drives an AI coding agent's implementation. A wave of tooling (GitHub Spec Kit [3], OpenSpec [4], AWS Kiro [5], and dozens of others) has appeared since 2025, yet the artifacts these tools produce have never been studied at scale. We present SPECMINE, a corpus that captures SDD in public GitHub repositories through two censuses: a broad census of spec.md/specs.md files covering most tools (470,795 files across 73,030 repositories, attributed to 17 named tools), and a Kiro census of its distinct requirements/design/tasks layout (98,574 files across 12,910 repositories). Each spec is enriched with full repository metadata, complete commit history, and parsed document structure. How a spec becomes code is itself an open question, so for 11 tools we sweep every pull request that touches a spec in their repositories with at least ten stars, capturing 5,992 such PRs across 581 repositories with their changesets. That makes the simplest workflow, spec and implementation changing together in one PR, directly observable, and a census-wide index of 2,421,323 typed references (1.28M to code files, 863k to sibling documents, 152k to PRs, 62k refs, 43k branches, 22k issues) gives a second, independent link from spec to code. SPECMINE lets the community study, for the first time, how software is specified in the age of AI agents.
