paper-to-skill

【文档与办公】Use when extracting reusable AI4Math research skills from papers, especially PDF-to-SkillCard workflows, paper triage, PDF preparation, proof-pattern extraction, and cross-paper SkillCard synthesis for a coding-agent-neutral paper-to-skill workflow.

独立 GitHub 快照 · 自动分类 · 以原作者文档为准