Run any Skill in Manus
with one click
with one click
Run any Skill in Manus with one click
Get StartedGitHub repository
erdos-navigator
erdos-navigator contains 3 collected skills from 0bserver07, with repository-level occupation coverage and site-owned skill detail pages.
skills collected
3
Stars
5
updated
2026-07-24
Forks
1
Occupation coverage
2 occupation categories · 100% classified
repository explorer
Skills in this repository
creator/repo/skill
skill
occupation
description
updated
lean-formalization
software-developers
Lean 4 formalization workflow for Erdős problem proofs. Use when formalizing a solution in Lean 4, checking existing formalizations, or setting up the Lean environment for proof verification.
2026-07-24
erdos-solver
software-developers
Workflow for attempting to solve Erdős problems. Use when the user wants to work on a specific Erdős problem, analyze open problems, or find tractable problems to attempt.
2026-07-24
math-techniques
mathematicians-152021
Mathematical proof techniques library for working on Erdős problems. Use when attempting to solve combinatorics, number theory, graph theory, or geometry problems. Includes techniques from successful AI solutions.
2026-02-05