Ejecuta cualquier Skill en Manus
con un clic
con un clic
Ejecuta cualquier Skill en Manus con un clic
ComenzarRepositorio de GitHub
lean-genius
lean-genius contiene 2 skills recopiladas de rjwalters, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.
skills recopiladas
2
Stars
6
actualizado
2026-07-17
Forks
0
Cobertura ocupacional
1 categorías ocupacionales · 100% clasificado
explorador de repositorios
Skills en este repositorio
creador/repositorio/skill
skill
ocupación
descripción
actualizado
repo-skills
Desarrolladores de software
General repository hygiene and environment tools — audits, cleanup, branch/worktree pruning, link checking, and cloud dev sessions
2026-07-17
mathlib-contribution
Desarrolladores de software
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