Skip to main content
GitHub-Repository

AI4Math-Paper-Writing

AI4Math-Paper-Writing enthält 8 gesammelte Skills von VeryMath, mit Repository-Berufsabdeckung und Skill-Detailseiten auf SkillsMP.

gesammelte Skills
8
Stars
1
aktualisiert
2026-07-14
Forks
0
Berufsabdeckung
2 Berufskategorien · 100% klassifiziert
Repository-Explorer

Skills in diesem Repository

ai4math-paper-writing
Technische Redakteure

Route AI4Math mathematical paper-writing tasks to the bundled paper-writing skill package.

2026-07-14
paper-writing
Technische Redakteure

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.

2026-06-29
claim-evidence-ledger
Technische Redakteure

Use when auditing mathematical paper drafts for supported claims, missing citations, overclaims, proof status, experiment support, or source-to-text traceability.

2026-06-29
formula-environment-and-readability
Redakteure

Use when improving mathematical formulas, displayed derivations, theorem/proof environments, equation alignment, cases blocks, long displays, or formula-to-prose readability in paper drafts.

2026-06-29
latex-build-and-layout-audit
Redakteure

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.

2026-06-29
notation-and-variable-consistency
Redakteure

Use when checking mathematical paper drafts for notation drift, variable reuse, undefined symbols, inconsistent domains, index conventions, or scalar/vector/matrix ambiguity.

2026-06-29
paper-skeleton-and-logical-architecture
Redakteure

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.

2026-06-29
proof-obligation-and-assumption-audit
Redakteure

Use when checking mathematical paper results for assumptions, quantifiers, domains, dependency fit, edge cases, external theorem use, proof coverage, or theorem-to-claim consistency.

2026-06-29