Repository
Vilin97/lean-pool agent skills
- skills
- 2
- GitHub stars
- 1
- Stars
- 1 (0 forks)
- Licence
- Apache-2.0
- Last push
- Oct 2026
- Created
- May 2026
- Homepage
- leanpool.github.io/lean-pool
Install all skills
npx skills add Vilin97/lean-poolAdd --skill <name> for a single skill and -a <agent> to choose the agent (see the agent guides).
Skills in Vilin97/lean-pool, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Repair a SINGLE Lean Pool project's build against a new Lean/Mathlib release. | Vilin97/ | 1 | — | ~1.2k | Automated safety check: Pass | Apache-2.0 | 4 days ago |
| 2 | Migrate the entire Lean Pool to a new Lean/Mathlib version — bump the toolchain + Mathlib + docbuild pins, repair every project's API breakage and build warnings, pass all CI gates, and open a… | Vilin97/ | 1 | — | ~1.9k | Automated safety check: Pass | Apache-2.0 | 4 days ago |
Questions, answered from the data.
What is the best skill in Vilin97/lean-pool?
Version Bump Project from Vilin97/lean-pool ranks first of the 2 skills in Vilin97/lean-pool listed here, with the highest score: its repository has 1 GitHub stars, its SKILL.md loads about 1.2k tokens and it passes the automated safety check with no findings. Next come Version Bump.
Are the skills in Vilin97/lean-pool official?
None yet. All 2 skills in Vilin97/lean-pool 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 Vilin97/lean-pool?
Run npx skills add Vilin97/lean-pool 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.