Manus에서 모든 스킬 실행
원클릭으로

원클릭으로 Manus에서 모든 스킬 실행

GitHub 저장소

erdos-banger

erdos-banger에는 The-Obstacle-Is-The-Way에서 수집한 skills 2개가 있으며, 저장소 수준 직업 범위와 사이트 내 skill 상세 페이지를 제공합니다.

The-Obstacle-Is-The-Way 프로필 GitHub에서 보기

수집된 skills

2

Stars

4

업데이트

2026-01-27

Forks

3

직업 범위

소프트웨어 개발자 수학자

직업 카테고리 2개 · 100% 분류됨

저장소 탐색

이 저장소의 skills

제작자/저장소/skill

skill

직업 분류

설명

업데이트

소프트웨어 개발자

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

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.

원클릭으로 모든 스킬 실행