$ npx skills add https://github.com/codervisor/leanspec --skill leanspec-scripts
All commands for development, testing, and publishing.
Most common daily commands: