Repository
leanprover/con-leche agent skills
- skill
- 1
- GitHub stars
- 122
GitHub description: “An external lean checker with a proof of consistency”
- Stars
- 122 (9 forks)
- Licence
- Apache-2.0
- Last push
- Oct 2026
- Created
- Aug 2026
Install all skills
npx skills add leanprover/con-lecheAdd --skill <name> for a single skill and -a <agent> to choose the agent (see the agent guides).
Skills in leanprover/con-leche, ranked
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Lean 4 reference-counting and linearity: how to keep hot data structures unshared, diagnose copies, and avoid codegen traps | leanprover/ | 122 | — | ~4.3k | Automated safety check: Notes | Apache-2.0 | 3 days ago |
Questions, answered from the data.
What is the best skill in leanprover/con-leche?
Lean Rc Linearity from leanprover/con-leche ranks first of the 1 skills in leanprover/con-leche listed here, with the highest score: its repository has 122 GitHub stars, its SKILL.md loads about 4.3k tokens and it has informational notes only in the automated safety check.
Are the skills in leanprover/con-leche official?
None yet. All 1 skills in leanprover/con-leche 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 leanprover/con-leche?
Run npx skills add leanprover/con-leche 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.