Run any Skill in Manus
with one click
with one click
Run any Skill in Manus with one click
Get StartedGitHub repository
numina-lean-agent
numina-lean-agent contains 6 collected skills from project-numina, with repository-level occupation coverage and site-owned skill detail pages.
skills collected
6
Stars
255
updated
2026-04-30
Forks
28
Occupation coverage
2 occupation categories · 100% classified
repository explorer
Skills in this repository
creator/repo/skill
skill
occupation
description
updated
numina-lean-agent
software-developers
Lean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofs
2026-04-30
llm
software-developers
LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification
2026-04-30
search
software-developers
Search tools for finding Lean theorems, lemmas, and definitions in Mathlib
2026-04-30
code-transform
software-developers
Code transformation tools for repairing, simplifying, and extracting Lean proofs
2026-04-07
sorrifier
software-developers
Isolates failing proof steps by replacing them with `sorry` and extracting them into standalone lemmas to modularize and decouple complex Lean 4 proofs.
2026-04-07
verification
software-quality-assurance-analysts-and-testers
Verification tools for compiling, validating, and disproving Lean theorems
2026-04-07