skill
직업 분류
설명
업데이트
numina-lean-agent
소프트웨어 개발자
Lean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofs
2026년 4월 30일
llm
소프트웨어 개발자
LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification
2026년 4월 30일
search
소프트웨어 개발자
Search tools for finding Lean theorems, lemmas, and definitions in Mathlib
2026년 4월 30일
code-transform
소프트웨어 개발자
Code transformation tools for repairing, simplifying, and extracting Lean proofs
2026년 4월 7일
sorrifier
소프트웨어 개발자
Isolates failing proof steps by replacing them with `sorry` and extracting them into standalone lemmas to modularize and decouple complex Lean 4 proofs.
2026년 4월 7일
verification
소프트웨어 품질 보증 분석가·테스터
Verification tools for compiling, validating, and disproving Lean theorems
2026년 4월 7일