Jeden Skill in Manus ausführen
mit einem Klick
mit einem Klick
Jeden Skill in Manus mit einem Klick ausführen
LoslegenGitHub-Repository
erdos-banger
erdos-banger enthält 2 gesammelte Skills von The-Obstacle-Is-The-Way, mit Repository-Berufsabdeckung und Skill-Detailseiten auf SkillsMP.
gesammelte Skills
2
Stars
4
aktualisiert
2026-01-27
Forks
3
Berufsabdeckung
2 Berufskategorien · 100% klassifiziert
Repository-Explorer
Skills in diesem Repository
Creator/Repository/Skill
Skill
Beruf
Beschreibung
Aktualisiert
erdos-prove
Softwareentwickler
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
Mathematiker
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