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
numina-lean-agent
numina-lean-agent contient 6 skills collectées depuis project-numina, avec une couverture métier par dépôt et des pages de détail sur le site.
skills collectés
6
Stars
255
mis à jour
2026-04-30
Forks
28
Couverture métier
2 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
numina-lean-agent
Développeurs de logiciels
Lean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofs
2026-04-30
llm
Développeurs de logiciels
LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification
2026-04-30
search
Développeurs de logiciels
Search tools for finding Lean theorems, lemmas, and definitions in Mathlib
2026-04-30
code-transform
Développeurs de logiciels
Code transformation tools for repairing, simplifying, and extracting Lean proofs
2026-04-07
sorrifier
Développeurs de logiciels
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
Analystes en assurance qualité des logiciels et testeurs
Verification tools for compiling, validating, and disproving Lean theorems
2026-04-07