Back to all repositories
LE
skills
by leanspark
LEANSpark Playbook Skills — Running Lean for your AI agent (starter editions). Full packs at leanspark.ai/skill-packs.
1stars0forks0watchers/subscribers0issues
- Size
- 50 KB
- Created
- Aug 17, 2026
- Last Updated
- Aug 29, 2026
- Last Pushed
- Aug 29, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.