Menu
Use when auditing mathematical paper drafts for supported claims, missing citations, overclaims, proof status, experiment support, or source-to-text traceability.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
| name | claim-evidence-ledger |
| description | Use when auditing mathematical paper drafts for supported claims, missing citations, overclaims, proof status, experiment support, or source-to-text traceability. |
Build a claim ledger before polishing prose. The goal is to make every substantive statement traceable to a proof, experiment, citation, or explicit uncertainty.
If sources are missing, request the source packet or produce only an evidence request.
Return a table with:
| Field | Meaning |
|---|---|
claim | The exact or paraphrased paper claim |
location | Section, paragraph, theorem, figure, or equation |
type | theorem, proof, experiment, citation, positioning, limitation, future-work |
support | Source file, theorem, log, citation key, or reviewer comment |
status | supported, citation-needed, needs-proof, needs-experiment, overclaimed, unsupported, uncertain |
action | Keep, cite, soften, remove, verify, or ask human |
proof-obligation-and-assumption-audit when needed.Route AI4Math mathematical paper-writing tasks to the bundled paper-writing skill package.
Use when drafting, revising, or auditing source-grounded mathematical paper text, including abstracts, introductions, related work, theorem exposition, experiment narratives, revision plans, and response letters.
Use when improving mathematical formulas, displayed derivations, theorem/proof environments, equation alignment, cases blocks, long displays, or formula-to-prose readability in paper drafts.
Use when checking LaTeX paper projects for compilation, latexmk logs, undefined references, citation issues, duplicate labels, macro/package hygiene, layout warnings, floats, arXiv, or venue compatibility.
Use when checking mathematical paper drafts for notation drift, variable reuse, undefined symbols, inconsistent domains, index conventions, or scalar/vector/matrix ambiguity.
Use when turning mathematical notes, theorem statements, proof sketches, experiments, or reading outputs into a paper skeleton, section plan, result dependency map, or contribution architecture before prose drafting.