القائمة
Use when auditing mathematical paper drafts for supported claims, missing citations, overclaims, proof status, experiment support, or source-to-text traceability.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
| 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.