在 Manus 中运行任何 Skill
一键导入
一键导入
一键在 Manus 中运行任何 Skill
开始使用GitHub 仓库
erdos-banger
erdos-banger 收录了来自 The-Obstacle-Is-The-Way 的 2 个 skills，并提供仓库级职业覆盖和站内 skill 详情页。
已收集 skills
2
Stars
4
更新
2026-01-27
Forks
3
职业覆盖
仓库浏览
这个仓库中的 skills
创作者/仓库/skill
skill
职业分类
描述
更新
erdos-prove
软件开发工程师
Step-by-step workflow for proving an Erdos problem in Lean 4 using Claude Code/Codex (subscription-first). Invoke as /erdos-prove <problem-id>.
2026-01-27
erdos
数学家
Complete guide to the Erdos CLI toolkit for mathematical research. Use when discussing Erdos problems, Lean formalization, literature search, or when the user asks about CLI commands, API costs, or environment configuration.
2026-01-27