Exécutez n'importe quel Skill dans Manus
en un clic
en un clic
Exécutez n'importe quel Skill dans Manus en un clic
CommencerDépôt GitHub
lean-genius
lean-genius contient 2 skills collectées depuis rjwalters, avec une couverture métier par dépôt et des pages de détail sur le site.
skills collectés
2
Stars
6
mis à jour
2026-07-17
Forks
0
Couverture métier
1 catégories métier · 100% classifié
explorateur de dépôts
Skills dans ce dépôt
créateur/dépôt/skill
skill
métier
description
mis à jour
repo-skills
Développeurs de logiciels
General repository hygiene and environment tools — audits, cleanup, branch/worktree pruning, link checking, and cloud dev sessions
2026-07-17
mathlib-contribution
Développeurs de logiciels
Use this skill when preparing a Lean 4 file in proofs/Proofs/ for upstream submission to Mathlib (leanprover-community/mathlib4). It bundles a style-and-naming scan, a curated gotchas catalog, and the trust-but-verify auto-edit rules demonstrated in Terence Tao's "AI with Lean" workflow (https://www.youtube.com/watch?v=l3SCK6V-BFw).
2026-07-13