Draft rigorous mathematical proofs for ML/AI theory claims.
npx skills add https://github.com/kitcaf/skills --skill proof-writer-kitcaf
Please help me install this Agent Skill. Skill: proof-writer Source: https://github.com/kitcaf/skills/tree/main/skills/skills-codex/skills/proof-writer Command: npx skills add https://github.com/kitcaf/skills --skill proof-writer-kitcaf
Writes rigorous mathematical proofs for ML/AI theory upon request, including handling lemmas, propositions, corollaries, and proof sketches, and can formalize incomplete steps for further refinement.
Provide the exact claim, assumptions, and any sketch, and ask me to draft a complete, justified proof package.
High-intent search queries and answers about installing and using this skill.
To draft a rigorous mathematical proof for an ML/AI theorem, provide the exact claim, explicit assumptions, and any existing notation or dependencies to generate a complete proof package with step-by-step justifications.
A blockage report in formal theorem proving is generated when a claim cannot be justified as stated, providing a proof sketch or corrected claims to help you refine the incomplete steps of the mathematical argument.
Yes, if a machine learning proposition cannot be justified as stated, the system provides a proof sketch or corrected claims, allowing you to formalize incomplete steps for further refinement and analysis.
Yes, the proof package includes explicit assumptions, notation definitions, a complete dependency map, and step-by-step justifications for theorems, lemmas, propositions, and corollaries.
The best way to formalize a partial proof for an AI theory corollary is to provide the exact claim and assumptions, allowing the system to produce a structured proof package that fills in incomplete steps with rigorous justifications.
raja21068Produce rigorous proof packages for ML/AI theory claims with dependency maps.
jandan138Draft rigorous mathematical proofs for ML/AI theory into PROOF_PACKAGE.md.
HeXiao-55Generate a structured proof package with assumptions, notation, and dependency map.
KYRIE66nbGenerates a structured mathematical proof package with assumptions and dependencies.
