Menu
Use when searching papers, organizing literature, validating citations, cleaning BibTeX, checking citation consistency, or positioning mathematical work against prior literature.
Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.
Basé sur la classification professionnelle SOC
| name | literature-citation |
| description | Use when searching papers, organizing literature, validating citations, cleaning BibTeX, checking citation consistency, or positioning mathematical work against prior literature. |
This is the standalone literature and citation module for the Galois Paper Writing page. It is adapted from the local scientific-agent-skills/scientific-skills literature-review, citation-management, and paper-lookup skills, copied into this skill so runtime work does not depend on external source trees.
This module is independent of Galois reasoning runs. It does not consume Galois run artifacts, does not depend on proof-system outputs, and is not the downstream of the Galois proof system. Do not depend on root-level references/scientific-agent-skills at runtime.
Load the copied source files as needed:
The copied scientific source files may mention tools or scripts from their original environment. In this runtime, use them as methodology references. If a script, database, API key, or network lookup is unavailable, record lookup_needed instead of fabricating data.
The Galois backend exposes a concrete citation lookup execution chain for the Paper Writing page. Prefer these local APIs before manual metadata reconstruction:
POST /api/citations/search: search by title, theorem phrase, author, or topic. The default chain: arxiv, crossref, and openalex.POST /api/citations/resolve: resolve a DOI, arXiv ID, DOI URL, arXiv URL, or bibliography identifier. DOI resolution cross-checks Crossref and OpenAlex; arXiv resolution checks arXiv and OpenAlex.POST /api/citations/validate: parse BibTeX, resolve each DOI/arXiv/URL identifier, compare title and year against returned metadata, and mark unresolved entries as lookup_needed.API results must be treated as source-specific evidence, not as an oracle. Preserve each source record, status, identifier, and URL in citation_report.md when relevant. If a source returns an error, no result, or inaccessible manual database, keep the issue as lookup_needed with the exact source and query.
paper-writing-page.md, then scientific-skills/literature-review/SKILL.md; use paper lookup references for database-specific details.paper-writing-page.md, then scientific-skills/paper-lookup/SKILL.md.paper-writing-page.md, then scientific-skills/citation-management/SKILL.md.paper-writing-page.md first; add literature-review and paper-lookup sources only as needed.lookup_needed marker.citation_report.md entries and concrete revision_tasks.json tasks.Use when drafting or revising English mathematical papers, surveys, theses, abstracts, introductions, proof prose, notation, equations, conclusions, cover letters, or reviewer responses.
Comprehensive citation management for academic research. Search Google Scholar and PubMed for papers, extract accurate metadata, validate citations, and generate properly formatted BibTeX entries. This skill should be used when you need to find papers, verify citation information, convert DOIs to BibTeX, or ensure reference accuracy in scientific writing.
Conduct comprehensive, systematic literature reviews using multiple academic databases (PubMed, arXiv, bioRxiv, Semantic Scholar, etc.). This skill should be used when conducting systematic literature reviews, meta-analyses, research synthesis, or comprehensive literature searches across biomedical, scientific, and technical domains. Creates professionally formatted markdown documents and PDFs with verified citations in multiple citation styles (APA, Nature, Vancouver, etc.).
Search 10 academic paper databases via REST APIs for research papers, preprints, and scholarly articles. Covers PubMed, PMC (full text), bioRxiv, medRxiv, arXiv, OpenAlex, Crossref, Semantic Scholar, CORE, Unpaywall. Use when searching for papers, citations, DOI/PMID lookups, abstracts, full text, open access, preprints, citation graphs, author search, or any scholarly literature query. Triggers on mentions of any supported database or requests like "find papers on X" or "look up this DOI".
Use when evaluating a mathematical manuscript, proof draft, theorem claim, contribution statement, review report, referee response, revision plan, or research-progress note for rigor, novelty, evidence, attribution, and referee-style risk.
Screen a decomposition plan by first trying to prove all of its subgoals directly, then identifying the key stuck points if the plan does not fully go through. Use when a decomposition plan is created.