Skip to main content
skillsmp

Menu

Execute qualquer Skill no Manus
com um clique
Repositório GitHub

numina-lean-agent

numina-lean-agent contém 6 skills coletadas de project-numina, com cobertura ocupacional por repositório e páginas de detalhe dentro do site.

Perfil de project-numinaVer no GitHub
skills coletadas
6
Stars
255
atualizado
2026-04-30
Forks
28
Cobertura ocupacional
Desenvolvedores de softwareAnalistas de garantia de qualidade de software e testadores
2 categorias ocupacionais · 100% classificado
explorador de repositórios

Skills neste repositório

numina-lean-agent
Desenvolvedores de software

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

2026-04-30
llm
Desenvolvedores de software

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

2026-04-30
search
Desenvolvedores de software

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

2026-04-30
code-transform
Desenvolvedores de software

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

2026-04-07
sorrifier
Desenvolvedores 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 garantia de qualidade de software e testadores

Verification tools for compiling, validating, and disproving Lean theorems

2026-04-07