Menu
SkillsMP a collecté 4 skills depuis meleantonio/open-math-prover. Ouvrez un skill pour examiner sa source et ses détails.
Affichage de 4 skills collectés sur 4.
Independently attack a candidate math proof or disproof: check exact claim match, edge cases, hidden assumptions, circular reductions, non-counting partial results dressed as solutions, and lemma counterexamples. Use when reviewing a proof draft, after a…
Langue du texte source : anglais
Build a CDC-style problem-specific prompt for attacking an open math problem: exact restatement, complete success criteria, non-counting partial results, traps, multi-agent search heuristics, and adversarial audit requirements. Use when creating PROMPT.md,…
Langue du texte source : anglais
Attack an open mathematical problem end-to-end using problem selection, CDC-style problem-specific prompts, multi-approach search, proof drafting, and adversarial audit. Use when the user wants to prove or disprove an open problem, attack Erdős problems, run…
Langue du texte source : anglais
Filter and score candidate open math problems for AI-assisted attack. Prefer actively discussed problems; deprioritize those tied to major open conjectures or clearly out of reach. Use when choosing among Erdős problems, open problems lists, or deciding…
Langue du texte source : anglais