29 tagged ai4math, measured the same way as everything else here.
Browse within: mathematics 18LLM 16agents 16automated-reasoning 16skills 16LaTeX 9Paper Writing 9research-writing 9Optimization 7cdopt 7coding-agents 7
Skill Codex
Find program-conditioned math results, constructions, examples, counterexamples, analogies, and background references. Use when the current active program needs repair, mutation, analogy, a program shift, or carefully gated obstruction search.
Skill Codex needs its repo
Use when Codex needs to solve, reproduce, test, compare, generate examples for, or diagnose CDOpt manifold optimization workflows, including CDOpt package smoke tests, official problem description cards, Stiefel dictionary learning, SciPy wrappers, PyTorch/JAX/NumPy CDOpt examples, dependency checks, tiny CPU…
Skill Claude CodeCodex
Use when creating, continuing, reviewing, or completing a durable coding-agent-driven mathematical research project.
Skill Codex
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…
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: