メニュー
SkillsMP は meleantonio/open-math-prover から 4 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
収集済み skill 4 件中 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…
原文の言語: 英語
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,…
原文の言語: 英語
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…
原文の言語: 英語
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…
原文の言語: 英語