# Spec-Driven Development

> Use this tool when you need to structure your software development workflow in a methodical and documentation-first approach. It provides sequential prompts to guide development from high-level requirements to code generation, solving problems of disorganized development and incomplete documentation. The tool takes in high-level requirements as input and outputs generated code, supporting a structured waterfall-style development workflow.

Canonical page: https://skillsregistry.net/skills/formulahendry-spec-driven-development  
JSON: https://api.skillsregistry.net/v1/skills/formulahendry-spec-driven-development

## Description

A spec-driven development MCP server by Jun Han that provides three sequential prompts to guide software development from high-level requirements through to code generation. The server offers prompts for generating requirements documents using EARS format, creating design documents from requirements, and finally generating code from design specifications, supporting a structured waterfall-style development workflow. Built with TypeScript and supporting both stdio and HTTP transports, it's particularly useful for developers who prefer a methodical, documentation-first approach to building applications where each phase builds upon the previous one's output.

## Trust

- **Trust score (0–1):** 0.92
- **Verification tier:** verified
- **Last scanned:** 2026-09-28

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** ai-ml
- **Updated:** 2026-09-28

## Source

- **Source listing:** [PulseMCP](https://www.pulsemcp.com/servers/formulahendry-spec-driven-development)
- **Repository:** <https://github.com/formulahendry/mcp-server-spec-driven-development>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "formulahendry-spec-driven-development"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/formulahendry-spec-driven-development` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/formulahendry-spec-driven-development/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt