Execute qualquer Skill no Manus
com um clique
com um clique
Execute qualquer Skill no Manus com um clique
ComeçarRepositório GitHub
lean-genius
lean-genius contém 2 skills coletadas de rjwalters, com cobertura ocupacional por repositório e páginas de detalhe dentro do site.
skills coletadas
2
Stars
6
atualizado
2026-07-17
Forks
0
Cobertura ocupacional
1 categorias ocupacionais · 100% classificado
explorador de repositórios
Skills neste repositório
criador/repositório/skill
skill
ocupação
descrição
atualizado
repo-skills
Desenvolvedores de software
General repository hygiene and environment tools — audits, cleanup, branch/worktree pruning, link checking, and cloud dev sessions
2026-07-17
mathlib-contribution
Desenvolvedores 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