Exécutez n'importe quel Skill dans Manus
en un clic
en un clic
Exécutez n'importe quel Skill dans Manus en un clic
CommencerDépôt GitHub
erdos-banger
erdos-banger contient 2 skills collectées depuis The-Obstacle-Is-The-Way, avec une couverture métier par dépôt et des pages de détail sur le site.
skills collectés
2
Stars
4
mis à jour
2026-01-27
Forks
3
Couverture métier
2 catégories métier · 100% classifié
explorateur de dépôts
Skills dans ce dépôt
créateur/dépôt/skill
skill
métier
description
mis à jour
erdos-prove
Développeurs de logiciels
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
Mathématiciens
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