Agent skill

Leanspec

by codervisor in codervisor/leanspec

The spec-coding methodology for AI-assisted development. An agent skill from codervisor/leanspec.

MITAuto-check passedDevelopment

Install Leanspec

skills CLI
$ npx skills add codervisor/leanspec --skill leanspec -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install codervisor/leanspec leanspec --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/codervisor/leanspec.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/leanspec .claude/skills/leanspec && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
leanspec
GitHub stars
296
Token cost
~1.8k tokens
SKILL.md length
932 words
Files
6 (incl. references)
Skills in repo
6
Repo updated
First seen
Licence
MIT

At a glance

The spec-coding methodology for AI-assisted development. An agent skill from codervisor/leanspec.

  • Works in 5 steps: Discover → Create → Refine → …
  • Planning features
  • SKILL.md covers Start every session with…, Core principles, The five phases and Relationship types, plus 4 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Leanspec is an agent skill from codervisor/leanspec. The spec-coding methodology for AI-assisted development. Use when planning features, creating/refining/implementing/verifying specs, or organising a project. Works with whatever spec backend your team already uses — local markdown, GitHub Issues, Azure DevOps, Jira — by delegating platform-specific details to a LeanSpec adapter.

Its SKILL.md is about 1.8k tokens, which your agent loads only when the skill is triggered. The skill folder holds 6 other files, including reference files (for example `references/adapters.md`, `references/best-practices.md` and `references/commands.md`).

It sits in Development. It works with GitHub, Jira and Azure DevOps. The repository describes itself as: Lightweight, flexible Spec-Driven Development (SDD) for modern AI-powered development. The licence is MIT.

When your agent uses it

  • Planning features
  • Creating/refining/implementing/verifying specs
  • Organising a project

Example prompts

  • “/leanspec”

Workflow steps

5 steps, taken from the step headings in SKILL.md.

  1. Discover
  2. Create
  3. Refine
  4. Implement
  5. Verify

What it can do on your machine

Read from SKILL.md and the folder at commit ee122d6. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md (its code samples are bash).

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Leanspec loads about 1.8k tokens when it runs, and up to ~8k if it reads all its reference files. Until then it costs about 85 tokens; SKILL.md has 932 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~85
When it runs · the whole SKILL.md, loaded when a task matches
~1.8k
With references · SKILL.md plus every file in references/, read only if the agent opens them
~8k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from codervisor/leanspec at commit ee122d6, republished under its MIT licence (© codervisor). 932 words, ~1,796 tokens.

Download SKILL.mdSave it as .claude/skills/leanspec/SKILL.md (or your agent's skills folder). This skill also uses 5 other files; get the full folder from GitHub.
name
leanspec
description
The spec-coding methodology for AI-assisted development. Use when planning features, creating/refining/implementing/verifying specs, or organising a project. Works with whatever spec backend your team already uses — local markdown, GitHub Issues, Azure DevOps, Jira — by delegating platform-specific details to a LeanSpec adapter.

LeanSpec — Spec Coding Skill

Teach agents spec coding: the practice of treating specs as durable artifacts that drive development, not ephemeral planning notes. LeanSpec provides the methodology and the leanspec CLI; each adapter (markdown, GitHub Issues, ADO, Jira, …) speaks its backend's native language. The skill is deliberately adapter-agnostic — never hard-code a status value, priority name, or field key here.

Start every session with capability discovery

Before reading, writing, or linking any specs, run:

bash
leanspec capabilities -o json

The output is your source of truth. It tells you:

  • The active adapter's name (markdown, github, ado, …).
  • Which metadata fields exist and their types/enum values.
  • Which field plays each semantic role (status, priority, tags, assignee, due_date) on this adapter.
  • Which link types the backend understands (parent, depends_on, …).

Use the returned enum values as the only valid vocabulary. If you want to move a spec into the "working" state, look up the semantic status field, pick the value the adapter calls "work is underway," and send that — don't assume it's called in-progress.

Core principles

  1. Specs are durable artifacts. They persist beyond the session, they are reviewable, and they link to code. They are not plan-mode scratch pads.
  2. Methodology, not mechanics. The five phases below apply whether your backend is a markdown folder, a GitHub repo, or a Jira project.
  3. Discovery first. Always read what exists before writing anything new.
  4. Intent before implementation. Capture why first, how second.
  5. Verify against reality. Never trust a status field alone — check code, commits, tests, CI.
  6. Use the adapter's vocabulary. No hard-coded field names or values.

The five phases

1. Discover

Understand the current state of the project before touching anything.

  1. Run leanspec capabilities -o json (session start).
  2. Run leanspec board to see the current shape of the project.
  3. Run leanspec search "<keywords>" to find related items.
  4. If a close match exists, consider extending or linking to it rather than creating a new item.
2. Create

Capture intent as a new, durable artifact.

  1. Run leanspec create <short-name> with every known field in a single call (title, body, semantic fields like status/priority, tags, parent, dependencies). Never create an empty item and then patch it.
  2. Write the body with:
    • Overview — what problem this solves and why it matters.
    • Requirements — a checklist of independently verifiable items.
    • Non-goals — what's explicitly out of scope.
    • Acceptance criteria — measurable definition of done.
  3. Link relationships as they emerge. Use the adapter's declared link types (typically parent for hierarchy and depends_on for blockers — confirm via capabilities).
3. Refine

Make the spec implementation-ready before coding starts.

  1. Locate files, modules, and APIs referenced in the spec; verify they exist.
  2. Find existing patterns to reuse; note concrete paths and function signatures in the spec.
  3. Validate dependencies are available.
  4. Gate: no blocking unknowns; every checklist item is specific and actionable.
4. Implement

Execute against the refined spec.

  1. Read the spec (leanspec view <id>), including parent, children, and dependencies.
  2. Transition the spec into its "work underway" state via leanspec update <id> using the adapter's declared status value.
  3. Work the checklist in order; stay inside the scope boundaries; document decisions and discoveries inside the spec as they happen.
  4. If you find out-of-scope work, create a new spec and link it rather than expanding the current one.
Show full SKILL.md (383 more words)Show less
5. Verify

Close the loop against reality, not status.

  1. Run the project's quality gates (tests, typecheck, lint, build).
  2. Re-read the spec's acceptance criteria and tick each one only if you can point to the commit, test, or file that proves it.
  3. Transition the spec to its adapter-declared "done" state, and append a short implementation note.
  4. If anything failed, stay in-progress, fix the cause, and re-run.

Relationship types

Relationships are adapter-declared. Check capabilities.link_types. The two most common shapes:

  • Parent / child — an umbrella decomposed into child items. A child doesn't make sense without its parent; the parent completes when all its children do.
  • Depends on — a blocker. Both items are independent work; one just has to ship first.

Decision flowchart:

  1. Is item B part of item A's scope? → parent/child.
  2. Does item B just need item A finished first? → depends-on.
  3. Never use both for the same pair.

Litmus test: "If item A didn't exist, would item B still make sense?" No → B is A's child. Yes → B depends on A.

Managing evolving work

  • Content changes — use leanspec update --content or edit the item body.
  • Metadata changes — use the supported leanspec update flags (--status, --priority, --assignee, --add-tags, --remove-tags, etc.) for adapter-declared fields. Each flag accepts values from the adapter's capabilities. The skill never writes raw frontmatter or YAML.
  • Scope creep — split. Create a sibling spec and link it; update the original's non-goals to reference the split.
  • Obsolete work — transition to the adapter's "closed/archived" state rather than deleting; history matters.

Context economy

  • Keep each item under ~2000 tokens. Split if larger.
  • Favour bullet lists over prose.
  • Use references to external docs rather than copying them.
  • Checklists are for actionable items only — plain lists for everything else.

Best practices — at a glance

  • Never create items manually. Always use leanspec create.
  • Never edit raw metadata. Use leanspec update.
  • Always discover first. Run board / search before create.
  • Always pass every known field to create. No empty-then-patch.
  • Always verify before closing. Tests, typecheck, lint, build.
  • Trust the adapter's vocabulary. Re-run capabilities if anything feels ambiguous.

References

© codervisor, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

SKILL.md and 5 other files (references) in skills/leanspec of codervisor/leanspec.

  • SKILL.md
  • references/adapters.md
  • references/best-practices.md
  • references/commands.md
  • references/examples.md
  • references/workflow.md

Open the folder on GitHubat commit ee122d6

Compare with similar skills

Leanspec next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Leanspec compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Leanspec this skillcodervisor/leanspec296—~1.8kAutomated safety check: PassMIT
Debate ReviewamElnagdy/review-skills1322 repos~986Automated safety check: PassMIT
YugabyteDB Issue Creatoryugabyte/yugabyte-db11k—~2kAutomated safety check: PassCustom licence
Link Ticket To SessionJayantDevkar/claude-code-karma329—~1.8kAutomated safety check: NotesApache-2.0
Issue Triage Loopcobusgreyling/loop-engineering11k—~522Automated safety check: PassMIT
Triagebholmesdev/hubble.md1.5k—~1.5kAutomated safety check: PassMIT

Similar skills

  • Debate Review

    amElnagdy/review-skills

    Two-model debate review of a GitHub PR, GitLab MR, Azure DevOps PR, or local working tree, posted as inline comments or printed.

    132 GitHub starsUsed in 2 repos~986 tokens
    DevelopmentAuto-check passed
  • YugabyteDB Issue Creator

    yugabyte/yugabyte-db

    Creates a GitHub issue or JIRA ticket for a YugabyteDB change or bug, after scrubbing customer data, secrets and unreleased details from anything public.

    11k GitHub stars~2k tokensUpdated today
    DevelopmentAuto-check passed
  • Link Ticket To Session

    JayantDevkar/claude-code-karma

    Link the current Claude Code session to a ticket (Linear, Jira, GitHub Issues, or GitHub Pull Requests) and cache its title/status in karma.

    329 GitHub stars~1.8k tokensUpdated 8 days ago
    DevelopmentAuto-check: notes
  • Issue Triage Loop

    cobusgreyling/loop-engineering

    Scans open GitHub issues and discussions, flags duplicates, scores priority and proposes labels into issue-triage-state.md without ever labeling or closing.

    11k GitHub stars~522 tokensUpdated today
    DevelopmentAuto-check passed
  • Triage

    bholmesdev/hubble.md

    Triage an incoming GitHub, Jira, Linear, or other issue-tracker issue against the current codebase and related issues, then return a structured decision with exactly one triage state.

    1.5k GitHub stars~1.5k tokensUpdated 5 days ago
    DevelopmentAuto-check passed
  • Turns a PRD, issue or description into an implementation-ready plan grounded in codebase evidence, adding root-cause analysis for bugs and publishing issue plans back to the issue.

    2.3k GitHub stars~4.1k tokensUpdated 5 days ago
    DevelopmentAuto-check passed

More from codervisor/leanspec

  • Leanspec Development

    codervisor/leanspec

    Development workflows, commands, publishing, CI/CD, changelog management, and contribution guidelines for LeanSpec.

    296 GitHub stars~2.5k tokensUpdated 4 mo ago
    Auto-check passed
  • Leanspec Dev Process

    codervisor/leanspec

    The end-to-end spec-issue-driven dev loop for lean-spec — spec → branch → implement → PR → merge → closure.

    296 GitHub stars~3.3k tokensUpdated 4 mo ago
    Auto-check passed
  • Leanspec PR Lifecycle

    codervisor/leanspec

    Manage a lean-spec PR after it's been pushed — spec-issue linking, CI triage, review-comment discipline, merge-conflict recovery on open PRs, webhook subscription, and CHANGELOG follow-through on…

    296 GitHub stars~3.3k tokensUpdated 4 mo ago
    Auto-check passed
  • Leanspec Pre Push

    codervisor/leanspec

    Run before pushing code to the lean-spec repo to catch what reviewers and CI will catch later, and confirm the branch has a linked spec issue in a valid state.

    296 GitHub stars~2.5k tokensUpdated 4 mo ago
    Auto-check passed
  • Watch CI

    codervisor/leanspec

    Watch GitHub Actions CI status for the current commit until completion.

    296 GitHub stars~724 tokensUpdated 4 mo ago
    Auto-check: notes

Questions about Leanspec

What does Leanspec do?

The spec-coding methodology for AI-assisted development. An agent skill from codervisor/leanspec. Leanspec is an agent skill from codervisor/leanspec. The spec-coding methodology for AI-assisted development.

When should I use Leanspec?

Leanspec fits situations like: planning features; creating/refining/implementing/verifying specs; organising a project.

How do I install Leanspec in Claude Code?

Run `npx skills add codervisor/leanspec --skill leanspec -a claude-code`. Or copy the skill folder (skills/leanspec in codervisor/leanspec) into .claude/skills/leanspec in your project. Claude Code loads it when a task matches its description.

How do I install Leanspec in Codex?

Run `npx skills add codervisor/leanspec --skill leanspec -a codex`. Or copy the skill folder (skills/leanspec in codervisor/leanspec) into .agents/skills/leanspec in your project. Codex loads it when a task matches its description.

Can I use Leanspec in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add codervisor/leanspec --skill leanspec -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/leanspec, .gemini/skills/leanspec, .github/skills/leanspec and .opencode/skills/leanspec in your project.

What does Leanspec need to run?

SKILL.md names no scripts, command-line tools or credentials: Leanspec is instructions for the agent only.

Does Leanspec access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Leanspec safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Leanspec use?

Leanspec is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Leanspec use?

About 1.8k tokens (SKILL.md is roughly 7.2k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 6.2k tokens, read only when the agent opens those files.

What are the alternatives to Leanspec?

Skills that share tags, products or a category with Leanspec: Debate Review (amElnagdy/review-skills, 132 stars), YugabyteDB Issue Creator (yugabyte/yugabyte-db, 11k stars), Link Ticket To Session (JayantDevkar/claude-code-karma, 329 stars) and Issue Triage Loop (cobusgreyling/loop-engineering, 11k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Leanspec?

codervisor (a GitHub organization) maintains it in codervisor/leanspec, which has 296 GitHub stars. The repository holds 6 skills in this directory. The repository was last updated on May 20, 2026.

Source: codervisor/leanspec on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.