Store source-indexed proof material with stable identifiers and citations.
npx skills add https://github.com/shenmuxing/EtaSkill --skill proof-material
Please help me install this Agent Skill. Skill: proof-material Source: https://github.com/shenmuxing/EtaSkill/tree/main/skill-examples/proof-material Command: npx skills add https://github.com/shenmuxing/EtaSkill --skill proof-material
This Skill helps you store and inspect source-indexed proof material so later agents can reuse ideas without losing the original paper location, stable ID, or citation trail.
Use the proof-material skill to add a new public source entry with stable IDs, source locations, and reusable abstractions.
High-intent search queries and answers about installing and using this skill.
Organize extracted proofs by storing one public source per file with a global index, stable material IDs, and traceable paper citations. This structured library ties each extracted lemma to its exact section or theorem location for later lookup.
Source-indexed proof material is a structured library of reusable lemmas, strategies, and definitions extracted from public PDFs. You need it when your research workflow requires preserving the original paper location, stable IDs, and citation trail for future synthesis.
Maintain a citation trail by assigning stable identifiers to each extracted definition or dependency and linking them to their precise source locations within the public PDF. One source file per public source preserves this traceable evidence across updates.
Yes, you can preserve reusable proof skeletons across updates by maintaining a global index with stable material IDs, tags, and dependencies. This approach ensures the original paper locations and citation trails remain intact for later agents.
Yes, this approach bridges extraction and synthesis pipelines by feeding structured material from proof-finder into proof-cooker. It stores concise proof skeletons that preserve evidence without exposing private logs, ensuring clean downstream reuse.
This storage approach requires maintaining a global index and one source file per public source, limiting its use to public PDFs. It does not expose private logs and focuses strictly on preserving concise proof skeletons with traceable evidence.
shenmuxingExtract source-indexed proof material with stable IDs from papers and notes.
jeffrey-dot-liRefactor existing Lean proofs for brevity, clarity, and documentation.
musical-basicsRetrieve academic papers from arXiv via its public REST API.
lijiandaoDraft point-by-point reviewer response letters for journal revisions.
