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-navigator
erdos-navigator contient 3 skills collectées depuis 0bserver07, avec une couverture métier par dépôt et des pages de détail sur le site.
skills collectés
3
Stars
5
mis à jour
2026-07-24
Forks
1
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
lean-formalization
Développeurs de logiciels
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
Développeurs de logiciels
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
Mathématiciens
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