proof-critique
CommunityCritically review proofs for gaps and flaws.
AuthorShiien
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This skill helps users quickly identify logical flaws and gaps in proofs, providing structured feedback and actionable fixes to improve rigor.
Core Features & Use Cases
- Structured critique: points out fatal, major, and minor issues with precise quotes and explanations.
- Verifiable verdicts: returns a verdict (Sound / Fixable / Fundamentally flawed) and recommendations.
- Input versatility: accepts proofs in natural language or LaTeX and handles mixed formats.
Quick Start
Provide a proof draft and ask for a critique to obtain a structured report detailing issues and corrections.
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: proof-critique Download link: https://github.com/Shiien/Self-Evolved-Research-Framework/archive/main.zip#proof-critique 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.