erdos-banger

erdos-banger contiene 2 skills recopiladas de The-Obstacle-Is-The-Way, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.

Perfil de The-Obstacle-Is-The-Way Ver en GitHub

skills recopiladas

Stars

actualizado

2026-01-27

Forks

Cobertura ocupacional

Desarrolladores de software Matemáticos

2 categorías ocupacionales · 100% clasificado

explorador de repositorios

Skills en este repositorio

creador/repositorio/skill

skill

ocupación

descripción

actualizado

erdos-prove

Desarrolladores 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