proof-fix

Rewrite flawed proof steps and verify downstream impact.

7|1|Updated Mar 19, 2026

Search Tags:#education #verification #mathematics #logic #critique #proof #rewrite

Ready to run

npx skills add https://github.com/Shiien/Self-Evolved-Research-Framework --skill proof-fix

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: proof-fix
Source: https://github.com/Shiien/Self-Evolved-Research-Framework/tree/main/skills/proof-fix
Command: npx skills add https://github.com/Shiien/Self-Evolved-Research-Framework --skill proof-fix

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Rewrite specific problematic proof steps identified by proof-critique (or the user) with correct reasoning, then re-check that the fix doesn't break downstream steps.

Core Features & Use Cases

Focus on the specific issue(s) to fix
For each issue: rewrite the problematic step(s) with correct reasoning, explain the fix and why the original was wrong, and verify the fix doesn't break downstream steps
Present the corrected proof segment in context
Re-check the overall proof flow with the fix applied

Quick Start

Provide a corrected proof segment for the identified issue and show downstream impact.

Frequently Asked Questions about proof-fix

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

FAQPage Schema

How do I fix a flawed mathematical proof step identified during critique?▼

To fix a flawed mathematical proof, rewrite the specific problematic step with correct logical reasoning and verify that the correction does not break any downstream steps in the overall argument. You must provide the original proof and the identified issues to generate corrected segments with explanations.

What is the best way to correct logic errors in a step-by-step proof?▼

Correcting logic errors in a step-by-step proof requires rewriting the invalid segments with accurate reasoning, explaining why the original logic was wrong, and re-checking the overall proof flow to ensure downstream arguments remain valid.

Can I re-validate a mathematical argument after rewriting a specific proof step?▼

Yes, you can re-validate a mathematical argument after rewriting a step by checking the downstream impact of the corrected segment. The process outputs the fixed proof in context and verifies that the overall logical flow remains intact.

Do I need to provide the original proof to get a corrected proof segment?▼

Yes, you must provide the original proof and the specific identified issues to receive a corrected proof segment. The tool requires these inputs to rewrite the flawed steps, explain the fixes, and check for downstream impact.

What happens to downstream steps when I rewrite a problematic proof step?▼

When you rewrite a problematic proof step, the process explicitly checks for downstream impact to ensure the fix does not break subsequent logic. It re-checks the overall proof flow and presents the corrected segment within its original context.