LeanSpec SDD Skill

Teach agents how to run Spec-Driven Development (SDD) in LeanSpec projects. This skill is an addon: it does not replace MCP or CLI tools.

When to Use This Skill

Activate this skill when any of the following are true:

• The repository contains a specs/ folder or .lean-spec/config.json
• The user mentions LeanSpec, specs, SDD, or spec-driven planning
• The task requires multi-step changes, breaking changes, or design decisions

Core Principles

1. Context Economy: Keep specs under 2000 tokens when possible. Split large specs.
2. Discovery First: Always run board/search before creating new specs.
3. Intent Over Implementation: Capture why first, then how.
4. Progressive Disclosure: Keep SKILL.md concise; use references for details.
5. No Manual Frontmatter: Use tools to update status, tags, dependencies.
6. Verify Against Reality: When asked about completion or progress, check the actual codebase, commits, and changes—not just the spec status.