math-verify
CommunityRigorous proof verification and error finding.
Education & Research#mathematics#logic#verify#proof#formal-methods#symbolic-computation#counterexample
Authorimvladikon
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Automates rigorous verification of mathematical proofs by identifying gaps, testing edge cases, and locating counterexamples.
Core Features & Use Cases
- Systematic structural analysis of proofs to ensure premises lead to conclusions.
- Step-by-step verification with optional symbolic checks and counterexample exploration across common proof techniques (direct, induction, contradiction, contrapositive).
- Use Case: a researcher can paste a proof sketch to uncover hidden assumptions or leaps in logic.
Quick Start
Validate a given proof by asking to verify each step and surface any logical gaps.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: math-verify Download link: https://github.com/imvladikon/dot-claude/archive/main.zip#math-verify Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.