Repository
codervisor/leanspec agent skills
- skills
- 6
- GitHub stars
- 296
GitHub description: “Lightweight, flexible Spec-Driven Development (SDD) for modern AI-powered development”
- Stars
- 296 (23 forks)
- Licence
- MIT
- Last push
- May 2026
- Created
- Oct 2025
- Homepage
- lean-spec.dev
- ai
- ai-agents
- project-management
- spec-driven-development
- development
- spec
Install all skills
npx skills add codervisor/leanspecAdd --skill <name> for a single skill and -a <agent> to choose the agent (see the agent guides).
Skills in codervisor/leanspec, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Leanspec The spec-coding methodology for AI-assisted development. An agent skill from codervisor/leanspec. | codervisor/ | 296 | — | ~1.8k | Automated safety check: Pass | MIT | 4 mo ago |
| 2 | Development workflows, commands, publishing, CI/CD, changelog management, and contribution guidelines for LeanSpec. | codervisor/ | 296 | — | ~2.5k | Automated safety check: Pass | MIT | 4 mo ago |
| 3 | The end-to-end spec-issue-driven dev loop for lean-spec — spec → branch → implement → PR → merge → closure. | codervisor/ | 296 | — | ~3.3k | Automated safety check: Pass | MIT | 4 mo ago |
| 4 | 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… | codervisor/ | 296 | — | ~3.3k | Automated safety check: Pass | MIT | 4 mo ago |
| 5 | 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. | codervisor/ | 296 | — | ~2.5k | Automated safety check: Pass | MIT | 4 mo ago |
| 6 | 6.Watch CI Watch GitHub Actions CI status for the current commit until completion. | codervisor/ | 296 | — | ~724 | Automated safety check: Notes | MIT | 4 mo ago |
Questions, answered from the data.
What is the best skill in codervisor/leanspec?
Leanspec from codervisor/leanspec ranks first of the 6 skills in codervisor/leanspec listed here, with the highest score: its repository has 296 GitHub stars, its SKILL.md loads about 1.8k tokens and it passes the automated safety check with no findings. Next come Leanspec Development and Leanspec Dev Process.
Are the skills in codervisor/leanspec official?
None yet. All 6 skills in codervisor/leanspec listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
How do I install all skills from codervisor/leanspec?
Run npx skills add codervisor/leanspec in your project: the open-source skills CLI installs the repository's skills into your coding agent's skills folder. To install a single skill, open its page here for the exact command.
How are these skills ranked?
By Skill Navigator score, which combines the GitHub stars of the skill's repository (shared across that repo's skills and discounted for large collections), how many other GitHub owners carry a copy of the skill, and automated SKILL.md quality checks, minus penalties for safety-check warnings and for each further skill from the same repository. Skills that fail the safety check are not listed.