Manusで任意のスキルを実行
ワンクリックで
ワンクリックで
ワンクリックでManusで任意のスキルを実行
始めるGitHub リポジトリ
erdos-navigator
erdos-navigator には 0bserver07 から収集した 3 個の skills があり、リポジトリ単位の職業カバレッジとサイト内 skill 詳細ページを表示します。
収集済み skills
3
Stars
5
更新
2026-07-24
Forks
1
職業カバレッジ
リポジトリエクスプローラー
このリポジトリの skills
クリエイター/リポジトリ/skill
skill
職業分類
説明
更新
lean-formalization
ソフトウェア開発者
Lean 4 formalization workflow for Erdős problem proofs. Use when formalizing a solution in Lean 4, checking existing formalizations, or setting up the Lean environment for proof verification.
2026-07-24
erdos-solver
ソフトウェア開発者
Workflow for attempting to solve Erdős problems. Use when the user wants to work on a specific Erdős problem, analyze open problems, or find tractable problems to attempt.
2026-07-24
math-techniques
数学者
Mathematical proof techniques library for working on Erdős problems. Use when attempting to solve combinatorics, number theory, graph theory, or geometry problems. Includes techniques from successful AI solutions.
2026-02-05