Run any Skill in Manus
with one click

Run any Skill in Manus with one click

GitHub repository

erdos-banger

erdos-banger contains 2 collected skills from The-Obstacle-Is-The-Way, with repository-level occupation coverage and site-owned skill detail pages.

The-Obstacle-Is-The-Way profile View on GitHub

skills collected

2

Stars

4

updated

2026-01-27

Forks

3

Occupation coverage

Mathematicians Software Developers

2 occupation categories · 100% classified

repository explorer

Skills in this repository

creator/repo/skill

skill

occupation

description

updated

software-developers

Step-by-step workflow for proving an Erdos problem in Lean 4 using Claude Code/Codex (subscription-first). Invoke as /erdos-prove <problem-id>.

mathematicians-152021

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.

Run any Skill with one click