Manusで任意のスキルを実行
ワンクリックで
ワンクリックで
ワンクリックでManusで任意のスキルを実行
始めるGitHub リポジトリ
lean-homology
lean-homology には jeffrey-dot-li から収集した 8 個の skills があり、リポジトリ単位の職業カバレッジとサイト内 skill 詳細ページを表示します。
収集済み skills
8
Stars
1
更新
2026-03-20
Forks
0
職業カバレッジ
リポジトリエクスプローラー
このリポジトリの skills
クリエイター/リポジトリ/skill
skill
職業分類
説明
更新
fill-sorry
ソフトウェア開発者
Prove a specific sorry'd lemma iteratively using Lean LSP tools.
2026-03-20
improve-workflow
ソフトウェア開発者
Improve Claude Code workflow by updating assistants.md, skills, memory, or CLAUDE.md.
2026-03-20
clean
ソフトウェア開発者
Fix warnings line by line and bring code into compliance with Mathlib style standards.
2026-03-16
refactor
ソフトウェア開発者
Improve an existing working proof for structural clarity, succinctness, or reusability.
2026-03-15
draft
ソフトウェア開発者
Draft sorry'd theorem/lemma structure for a larger result from a proof sketch.
2026-03-08
interactive
ソフトウェア開発者
Fill a sorry one step at a time, directed by the user.
2026-03-08
discuss
数学者
Read and discuss proofs, strategies, or math concepts without making any edits.
2026-02-10
research
物理学者
Find whether a theorem/concept exists in Mathlib and locate building blocks for a new theorem.
2026-02-10