Execute qualquer Skill no Manus
com um clique
com um clique
Execute qualquer Skill no Manus com um clique
ComeçarRepositório GitHub
erdos-banger
erdos-banger contém 2 skills coletadas de The-Obstacle-Is-The-Way, com cobertura ocupacional por repositório e páginas de detalhe dentro do site.
skills coletadas
2
Stars
4
atualizado
2026-01-27
Forks
3
Cobertura ocupacional
2 categorias ocupacionais · 100% classificado
explorador de repositórios
Skills neste repositório
criador/repositório/skill
skill
ocupação
descrição
atualizado
erdos-prove
Desenvolvedores de software
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
Matemáticos
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