Manus에서 모든 스킬 실행
원클릭으로
원클릭으로
원클릭으로 Manus에서 모든 스킬 실행
시작하기GitHub 저장소
numina-lean-agent
numina-lean-agent에는 project-numina에서 수집한 skills 6개가 있으며, 저장소 수준 직업 범위와 사이트 내 skill 상세 페이지를 제공합니다.
수집된 skills
6
Stars
255
업데이트
2026-04-30
Forks
28
직업 범위
직업 카테고리 2개 · 100% 분류됨
저장소 탐색
이 저장소의 skills
제작자/저장소/skill
skill
직업 분류
설명
업데이트
numina-lean-agent
소프트웨어 개발자
Lean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofs
2026-04-30
llm
소프트웨어 개발자
LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification
2026-04-30
search
소프트웨어 개발자
Search tools for finding Lean theorems, lemmas, and definitions in Mathlib
2026-04-30
code-transform
소프트웨어 개발자
Code transformation tools for repairing, simplifying, and extracting Lean proofs
2026-04-07
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-04-07
verification
소프트웨어 품질 보증 분석가·테스터
Verification tools for compiling, validating, and disproving Lean theorems
2026-04-07