Skip to main content
skillsmp

Menú

Ejecuta cualquier Skill en Manus
con un clic
Repositorio de GitHub

numina-lean-agent

numina-lean-agent contiene 6 skills recopiladas de project-numina, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.

Perfil de project-numinaVer en GitHub
skills recopiladas
6
Stars
255
actualizado
2026-04-30
Forks
28
Cobertura ocupacional
Desarrolladores de softwareAnalistas de garantía de calidad de software y probadores
2 categorías ocupacionales · 100% clasificado
explorador de repositorios

Skills en este repositorio

numina-lean-agent
Desarrolladores de software

Lean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofs

2026-04-30
llm
Desarrolladores de software

LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification

2026-04-30
search
Desarrolladores de software

Search tools for finding Lean theorems, lemmas, and definitions in Mathlib

2026-04-30
code-transform
Desarrolladores de software

Code transformation tools for repairing, simplifying, and extracting Lean proofs

2026-04-07
sorrifier
Desarrolladores de software

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
Analistas de garantía de calidad de software y probadores

Verification tools for compiling, validating, and disproving Lean theorems

2026-04-07