Develop, verify, and refine mathematical proofs for academic research.
npx skills add https://github.com/queelius/claude-anvil --skill proof-queelius
Please help me install this Agent Skill. Skill: proof Source: https://github.com/queelius/claude-anvil/tree/main/papermill/skills/proof Command: npx skills add https://github.com/queelius/claude-anvil --skill proof-queelius
This Skill assists researchers in the rigorous development, verification, and clear presentation of mathematical proofs, ensuring logical correctness and readability.
Use the proof skill to help me develop a proof for the statement that the sum of two even numbers is even.
High-intent search queries and answers about installing and using this skill.
To verify a mathematical proof, the Skill checks logical correctness by identifying gaps, ensuring quantifier accuracy, and validating that each step follows logically from prior established statements.
Selecting a proof strategy involves evaluating direct, contradiction, or induction approaches. This Skill guides strategy selection by analyzing the theorem to recommend the most viable mathematical technique.
Yes, you can refine an existing draft. The Skill aids in clear mathematical writing by restructuring proofs for readability, adding signposting, and applying appropriate mathematical environments.
To check for gaps when constructing a proof from scratch, the Skill develops the steps sequentially while validating logical flow, ensuring quantifier accuracy, and verifying the overall mathematical correctness.
Yes, it works with formal verification and mathematical logic by rigorously checking logical correctness, validating quantifier accuracy, and ensuring the theorem proof meets strict academic research standards.
ShiienConvert informal mathematical claims into precise LaTeX statements with assumptions and notation.
flonatGenerate rigorous step-by-step mathematical proofs with explicit sign justification.
igbuendGenerate LaTeX snippets for equations, matrices, and theorem environments.
rainoftimeDevelop interactive proofs and formalize mathematical theories in Coq.
