Skill Claude CodeCodex
Route AI4Math mathematical writing and presentation tasks to the bundled skill packages.
5 1mo ago A 20 tokens
original MIT
5Stars on the repository
9Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
math-beamer
02Skill Claude CodeCodex
Use when creating, revising, or auditing source-grounded mathematical Beamer slide decks from papers, notes, proofs, lectures, experiments, or existing LaTeX slides across pure mathematics, applied mathematics, computational mathematics, statistics, optimization, geometry, topology, algebra, number theory…
5 1mo ago A 100 tokens
original MIT
Skill Claude CodeCodex
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.
5 1mo ago A 40 tokens
original MIT
Skill Claude CodeCodex
Use when auditing mathematical paper drafts for supported claims, missing citations, overclaims, proof status, experiment support, or source-to-text traceability.
5 1mo ago A 35 tokens
original MIT
Skill Claude CodeCodex
Use when improving mathematical formulas, displayed derivations, theorem/proof environments, equation alignment, cases blocks, long displays, or formula-to-prose readability in paper drafts.
5 1mo ago A 41 tokens
original MIT
Skill Claude CodeCodex
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.
5 1mo ago A 48 tokens
original MIT
Skill Claude CodeCodex
Use when checking mathematical paper drafts for notation drift, variable reuse, undefined symbols, inconsistent domains, index conventions, or scalar/vector/matrix ambiguity.
5 1mo ago A 35 tokens
original MIT
Skill Claude CodeCodex
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.
5 1mo ago A 45 tokens
original MIT
Skill Claude CodeCodex
Use when checking mathematical paper results for assumptions, quantifiers, domains, dependency fit, edge cases, external theorem use, proof coverage, or theorem-to-claim consistency.
5 1mo ago A 43 tokens
original MIT