Verifies mathematical proofs for correctness and identifies logical gaps and counterexamples.
npx skills add https://github.com/imvladikon/dot-claude --skill math-verify
Please help me install this Agent Skill. Skill: math-verify Source: https://github.com/imvladikon/dot-claude/tree/main/skills/math-verify Command: npx skills add https://github.com/imvladikon/dot-claude --skill math-verify
Automates rigorous verification of mathematical proofs by identifying gaps, testing edge cases, and locating counterexamples.
Validate a given proof by asking to verify each step and surface any logical gaps.
High-intent search queries and answers about installing and using this skill.
Yes, proof verification supports common techniques including direct, induction, contradiction, and contrapositive. It systematically analyzes each step, applying symbolic computation where available to validate hypotheses and uncover leaps in logic.
Proof verification is applicable to classroom, research, and formal-method workflows. It suits anyone needing rigorous checking, counterexample searching, and hypothesis validation across various mathematical contexts.
Limitations include relying on the completeness of the provided proof sketch; if steps are too vague, verifying logical gaps becomes difficult. It is not a substitute for generating original proofs but focuses on validating existing ones.
You validate each step by requesting step-by-step verification, which applies phased analysis and counterexample testing to surface logical errors. This ensures explicit hypothesis verification using symbolic computation when available.
flonatVerifies algebraic expressions and identities using sympy.
rainoftimeInfer loop invariants for C code verification using abstract interpretation.
microchipgnuMatch buyer intents with competing solvers and verify JSON results.
jeffrey-dot-liRefactor existing Lean proofs for brevity, clarity, and documentation.
