Manusで任意のスキルを実行
ワンクリックで
ワンクリックで
ワンクリックでManusで任意のスキルを実行
始めるGitHub リポジトリ
numina-lean-agent
numina-lean-agent には project-numina から収集した 6 個の skills があり、リポジトリ単位の職業カバレッジとサイト内 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