Manusで任意のスキルを実行
ワンクリックで
ワンクリックで
ワンクリックでManusで任意のスキルを実行
始めるGitHub リポジトリ
lean-genius
lean-genius には rjwalters から収集した 2 個の skills があり、リポジトリ単位の職業カバレッジとサイト内 skill 詳細ページを表示します。
収集済み skills
2
Stars
6
更新
2026-07-17
Forks
0
職業カバレッジ
1 件の職業カテゴリ · 100% 分類済み
リポジトリエクスプローラー
このリポジトリの skills
クリエイター/リポジトリ/skill
skill
職業分類
説明
更新
repo-skills
ソフトウェア開発者
General repository hygiene and environment tools — audits, cleanup, branch/worktree pruning, link checking, and cloud dev sessions
2026-07-17
mathlib-contribution
ソフトウェア開発者
Use this skill when preparing a Lean 4 file in proofs/Proofs/ for upstream submission to Mathlib (leanprover-community/mathlib4). It bundles a style-and-naming scan, a curated gotchas catalog, and the trust-but-verify auto-edit rules demonstrated in Terence Tao's "AI with Lean" workflow (https://www.youtube.com/watch?v=l3SCK6V-BFw).
2026-07-13