LeanSpec Development Skill: ````skill
Installation
$skills install @codervisor/leanspec-development
Claude Code
Cursor
Copilot
Codex
Antigravity
Details
Repositorycodervisor/lean-spec
Path.github/skills/leanspec-development/SKILL.md
Branchmain
Scoped Name@codervisor/leanspec-development
Usage
After installing, this skill will be available to your AI coding assistant.
Verify installation:
skills list