skills.rest
Shiien
ShiienCOMMUNITY
Explore all skills by this author →
GitHub

proof-critique

Classify proof steps and identify logical gaps in plain text or LaTeX proofs.

7|1|Updated Mar 19, 2026
Search Tags:#feedback#audit#mathematics#reasoning#latex#logical-critique#proof-analysis
One-click install
npx skills add https://github.com/Shiien/Self-Evolved-Research-Framework --skill proof-critique
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: proof-critique
Source: https://github.com/Shiien/Self-Evolved-Research-Framework/tree/main/skills/proof-critique
Command: npx skills add https://github.com/Shiien/Self-Evolved-Research-Framework --skill proof-critique

SYSTEM DOCUMENTATION & REQUIREMENTS

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.

Frequently Asked Questions about proof-critique

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I check a mathematical proof for logical gaps and unjustified claims?▼

Proof analysis identifies logical gaps and unjustified claims by classifying proof steps, returning a structured critique with a soundness verdict and suggested fixes for mathematical or logical arguments supplied as plain text or LaTeX.

Can I critique a proof written in LaTeX formatting?▼

Yes, LaTeX proof critique is fully supported. The analysis accepts natural language, LaTeX, or mixed formats to evaluate reasoning quality and clarity without relying on external data access.

What is the best way to identify fatal flaws versus minor issues in a logical argument?▼

A structured critique categorizes issues by severity with precise quotes, delivering a verifiable verdict of Sound, Fixable, or Fundamentally flawed to distinguish fatal flaws from minor notational issues in logical arguments.

Does proof analysis work for theoretical arguments outside of pure mathematics?▼

Yes, proof analysis works for theoretical arguments beyond pure mathematics. It evaluates reasoning quality and clarity for mathematical, logical, or theoretical arguments supplied as plain text or LaTeX drafts.

What are the limitations of automated proof analysis for reasoning quality?▼

Automated proof analysis avoids external data access and focuses solely on reasoning quality and clarity, meaning it evaluates internal logical consistency rather than empirical truth or external theorem validity.

Related Skills

Explore More Education & Research Skills→
TabithaFannyTabithaFanny

proof-checker

Verify LaTeX mathematical proofs, identify gaps, and generate audit reports.

Community
Advanced
1thirteeng31thirteeng3

ml-paper-writing

Draft ML papers with LaTeX templates and verified citations.

Community
Advanced
ExuberantWitnessExuberantWitness
1

flux-proof-writer

Generate rigorous mathematical proofs and formalize logical derivations in Markdown.

Community
Intermediate
Leo1349Leo1349

proof-writer

Generate rigorous mathematical proofs and validate claims in machine learning theory.

Community
Advanced