Generate rigorous mathematical proof packages for ML/AI claims.
npx skills add https://github.com/Shallow-W/llm-wiki --skill proof-writer-shallow-w
Please help me install this Agent Skill. Skill: proof-writer Source: https://github.com/Shallow-W/llm-wiki/tree/main/.claude/skills/proof-writer Command: npx skills add https://github.com/Shallow-W/llm-wiki --skill proof-writer-shallow-w
It helps you turn a theorem, lemma, proposition, or proof sketch in ML/AI theory into a mathematically honest proof package, or clearly explain why the claim cannot be justified from the stated assumptions.
Use the proof-writer skill to draft a rigorous proof for your ML/AI theorem, including assumptions and a correctness status, and write the result into PROOF_PACKAGE.md by default.
High-intent search queries and answers about installing and using this skill.
To write a rigorous proof without guessing, you need a structured proof package that explicitly maps dependencies and justifies every nontrivial implication. This approach drafts the full proof or identifies missing assumptions required to satisfy proof-honesty requirements.
When a theorem cannot be proven from its assumptions, a feasibility triage process reports justified blockers. It classifies the result as not currently justified, or suggests weakening the claim and adding extra assumptions to make it provable.
To formalize a proof sketch, you apply step-by-step justification to fill missing steps for lemmas, propositions, and corollaries. This process respects stated assumptions and outputs a structured proof document with quantified, fully justified reasoning.
Yes, proof auditing builds an explicit dependency map to check if the reasoning respects all stated assumptions. It verifies every nontrivial implication step-by-step to ensure the argument contains no gaps or fake justifications.
The best way to triage provability is to classify results as provable as stated, provable only after weakening, or not currently justified. This prevents wasting effort on claims that lack sufficient assumptions to support a complete proof.
raja21068Produce rigorous proof packages for ML/AI theory claims with dependency maps.
sandraschiSolve formal logic problems and validate proofs with LaTeX-friendly formatting.
scooter-lacroixSolve predicate logic problems using quantifier analysis and Z3 solver.
KYRIE66nbGenerates a structured mathematical proof package with assumptions and dependencies.
