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日