Run any Skill in Manus
with one click
with one click
Run any Skill in Manus with one click
Get StartedGitHub repository
lean-genius
lean-genius contains 2 collected skills from rjwalters, with repository-level occupation coverage and site-owned skill detail pages.
skills collected
2
Stars
6
updated
2026-07-17
Forks
0
Occupation coverage
1 occupation categories · 100% classified
repository explorer
Skills in this repository
creator/repo/skill
skill
occupation
description
updated
repo-skills
software-developers
General repository hygiene and environment tools — audits, cleanup, branch/worktree pruning, link checking, and cloud dev sessions
2026-07-17
mathlib-contribution
software-developers
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