メニュー
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.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Route AI4Math paper-reading tasks to the appropriate bundled skill package.
Cluster, deduplicate, generalize, and rank proof-pattern SkillCandidates or SkillCards extracted from multiple papers. Use when a coding agent should synthesize single-paper extractions into a domain method map, merged SkillCards, and a synthesis report for an AI4Math skill library.
Search for papers that may provide new methods, new theory, sharper bounds, different assumptions, proof techniques, lower bounds, abstractions, or cross-domain transfers for a math research direction. Use when a coding agent should look beyond nearest-neighbor related work and generate innovation_candidates.json with reasons and risks.
Download open-access research-paper PDFs selected from reading_plan.json, candidate_papers.json, or innovation_candidates.json. Use when a coding agent should save paper.pdf, metadata.json, and a bilingual download report for confirmed paper IDs without bypassing paywalls, and before PDF-to-Markdown conversion or paper-to-skill extraction.
Extract reusable mathematical research skills from Markdown papers, especially proof-pattern skills such as descent lemmas, inequality relaxations, telescoping bounds, error decompositions, Lyapunov arguments, concentration bounds, Galerkin/Cea arguments, Aubin-Nitsche duality, and Lax-Milgram well-posedness. Use when a coding agent is asked to turn a math paper, proof, theorem section, convergence analysis, stability analysis, or error analysis into SkillCandidate JSON, SkillCard YAML, or a paper-to-skill report without relying on external LLM APIs.
Run the complete AI4Math paper-to-skill workflow from a user-provided PDF or Markdown paper. Use when a coding agent should preserve the original paper, convert PDF to paper.md when needed, extract proof-pattern SkillCandidates and SkillCards with line evidence, and optionally route reviewed cards into cross-paper synthesis.
| name | paper-to-skill |
| description | 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. |
This repository is a Skill-first paper-to-skill workflow package for AI4Math auto research. Codex is the reference operator, but the shared Skill layer is intended for any capable coding agent.
Start user-facing paper-to-skill work from:
skills/paper-to-skill-workflow/SKILL.md
Use skills/registry.yaml to inspect phase order, review gates, and optional upstream or downstream Skills.
This root SKILL.md is not the workflow driver. It is a compatibility entrypoint for platforms that expect one top-level Skill file.
paper.pdf as the default user input; accept paper.md when conversion has already happened.paper.pdf when provided and the full converted paper.md.skills/registry.yaml and the shared skills/ layer.source.paper_md, source.start_line, and source.end_line.