meleantonio/open-math-prover

adversarial-audit

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…

craft-proof-prompt

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,…

open-math-prover

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…

select-open-problem

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…