Rewrite flawed proof steps and verify downstream impact.
npx skills add https://github.com/Shiien/Self-Evolved-Research-Framework --skill proof-fix
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
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.
Provide a corrected proof segment for the identified issue and show downstream impact.
High-intent search queries and answers about installing and using this skill.
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.
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.
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.
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.
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.
ShiienClassify proof steps and identify logical gaps in plain text or LaTeX proofs.
brycehamrickDiagnose nonfiction manuscripts for thesis validity, logical gaps, and structural issues.
RamanEbrahimiReview mathematical proofs and formal arguments for subtle flaws.
parcadeiSolve proof-theory problems using Z3 for automated deduction and verification.
