Package raw proof ideas into GPT-pro-ready prompt bundles with claims and materials.
npx skills add https://github.com/shenmuxing/EtaSkill --skill proof-plan
Please help me install this Agent Skill. Skill: proof-plan Source: https://github.com/shenmuxing/EtaSkill/tree/main/skill-examples/proof-plan Command: npx skills add https://github.com/shenmuxing/EtaSkill --skill proof-plan
This Skill helps you turn a rough proof idea into a compact, reviewable GPT-pro prompt bundle so you can validate the task before spending model budget.
task.md and materials.md for a reviewer model to diagnose or complete the proof.Use the proof-plan skill to package my proof idea into a GPT-pro-ready task bundle for review.
High-intent search queries and answers about installing and using this skill.
To package a proof idea for a reviewer model, this Skill organizes the target claim, notation, source materials, user-given assumptions, and open questions into a review-ready task bundle.
Proof planning standardizes mathematical tasks for review by preparing a prompt bundle, while notation normalization ensures consistent mathematical symbols across the target claim and source materials.
No, proof-plan does not solve the proof or complete gaps locally. It strictly separates supported claims from unsupported ones and packages the task for a downstream reviewer model to diagnose.
Yes, you can use proof-plan to perform mechanical local checks such as verifying cited file existence, normalizing notation, and identifying obvious inconsistencies without attempting to solve the proof.
You need a target theorem statement and your reference materials. The Skill uses these to prepare task.md and materials.md files for a reviewer model to diagnose or complete the proof.
Separating unresolved questions in a proof handoff prompt bundle ensures the reviewer model receives a clean task boundary, distinguishing between user-stated givens and gaps that require actual mathematical diagnosis.
KwongFukAssess theorem feasibility and draft a structured PROOF_PACKAGE.md with dependency map.
sjtuytcAudit LaTeX mathematical proofs for logical gaps and generate issue reports.
mmogibOrganize theorems, proofs, notation, and literature reviews into LaTeX-ready mathematical manuscripts.
parcadeiVerify analyticity via Cauchy-Riemann equations and compute power series expansions.