Menu
Use when checking mathematical paper results for assumptions, quantifiers, domains, dependency fit, edge cases, external theorem use, proof coverage, or theorem-to-claim consistency.
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
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 auditing mathematical paper drafts for supported claims, missing citations, overclaims, proof status, experiment support, or source-to-text traceability.
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.
| name | proof-obligation-and-assumption-audit |
| description | Use when checking mathematical paper results for assumptions, quantifiers, domains, dependency fit, edge cases, external theorem use, proof coverage, or theorem-to-claim consistency. |
Audit whether a mathematical result is supported by its stated assumptions, dependencies, and proof coverage. This is a writing review, not automated theorem proving: it identifies obligations and risks that paper prose must not hide.
If proof material is unavailable, mark the result provisional instead of rewriting it as proved.
Return a proof-obligation table with:
| Field | Meaning |
|---|---|
result | The theorem, lemma, proposition, or claim under review |
assumptions | Quantifiers, domains, regularity, constraints, and boundary conditions |
dependencies | Definitions, previous results, external theorems, experiments, or algorithms used |
obligation | What the proof must establish or verify |
coverage | covered, partial, missing, conflicting, or unclear |
risk | Meaning-preserving issue, missing case, overclaim, citation-fit risk, or notation risk |
action | Keep, soften, split, add assumption, cite precisely, prove, verify, or ask human |
notation-and-variable-consistency before making
semantic judgments that depend on symbols or dimensions.