skills.rest
czh-ee-2023
czh-ee-2023COMMUNITY
Explore all skills by this author →
WebsiteGitHub

proof-checker

Verify mathematical proofs in LaTeX files via external reviewer backends.

Updated Jun 7, 2026
Search Tags:#LaTeX#review workflow#audit report#proof verification#mathematical correctness
One-click install
npx skills add https://github.com/czh-ee-2023/zotero-aris --skill proof-checker-czh-ee-2023
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: proof-checker
Source: https://github.com/czh-ee-2023/zotero-aris/tree/main/.claude/skills/proof-checker
Command: npx skills add https://github.com/czh-ee-2023/zotero-aris --skill proof-checker-czh-ee-2023

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill requires mcp__codex__codex, mcp__codex__codex-reply, mcp__manual_review__review, mcp__manual_review__review_reply, and includes scripts (resource) and references (resource) and assets (resource) components.

What problem does it solve?

This Skill addresses the need for rigorous mathematical proof verification and fixing, providing a workflow to ensure the correctness of LaTeX proofs.

Core Features & Use Cases

  • Proof Verification: Cross-model adversarial review to systematically verify a mathematical proof.
  • Gap Identification and Fixing: Identifies gaps in a proof and suggests fixes, including full derivations.
  • Re-review and Audit Report: Continues to review and fix until convergence, then generates an audit report.
  • Use Case: For a researcher presenting a new theorem, this Skill can be used to verify the correctness of the proof and generate an audit report.

Quick Start

To verify a proof, use the 'proof-checker' skill and provide the path to the LaTeX proof file. Example: use proof-checker path/to/proof.tex.

Frequently Asked Questions about proof-checker

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

FAQPage Schema
How do I verify mathematical correctness in a LaTeX proof file?▼

A proof verification workflow systematically checks LaTeX proofs for mathematical correctness by using external reviewer backends, identifying gaps, suggesting full derivations, and generating a final audit report.

Can I automate proof verification to find gaps and fix derivations?▼

Yes, automated proof verification identifies logical gaps in mathematical derivations and iteratively suggests fixes, continuing to review and apply corrections until the reasoning converges and produces a final audit report.

Does proof verification work with LaTeX parsing and external reviewer backends?▼

Proof verification integrates with LaTeX parsing libraries and external reviewer backends like Codex or Manual Review MCP, requiring robust error handling and validation mechanisms to process complex mathematical reasoning.

What is the best way to generate an audit report for a mathematical theorem proof?▼

The best way to generate an audit report for a mathematical theorem is to run an iterative review workflow that verifies correctness, fixes identified gaps until convergence, and outputs a final audit document.

Do I need Codex or Manual Review MCP to check mathematical proofs?▼

You need external reviewer backends like Codex or Manual Review MCP to perform cross-model adversarial reviews for mathematical correctness, as these dependencies handle the complex reasoning and validation mechanisms.

Related Skills

Explore More Education & Research Skills→
TabithaFannyTabithaFanny

proof-checker

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

Community
Advanced
sjtuytcsjtuytc
27

proof-checker

Audit LaTeX mathematical proofs for logical gaps and generate issue reports.

Community
Advanced
saadmsftsaadmsft

claude-math-olympiad-math-olympiad

Automates mathematical proof verification using Python and LaTeX libraries.

Community
Advanced
flonatflonat
127

proof-readability

Inspect mathematical proofs for clarity and improve readability without altering correctness.

Community
Advanced