35 tagged mathematics, measured the same way as everything else here.
Browse within: skills 19ai4math 18algebra 15calculus 15mathematica 15LaTeX 9Paper Writing 9research-writing 9Optimization 8ai-research 8cdopt 7coding-agents 7arxiv 6computer-science 6
Skill Claude CodeCodex
A comprehensive mathematical reasoning skill for AI assistants — handles arithmetic to research-level problems with rigorous step-by-step reasoning, systematic verification, and transparent uncertainty handling.
Skill Claude CodeCodex
A routing guide for mathematical analysis in AI research and cryptography. It helps an agent choose the relevant mathematical ideas and checks for a problem.
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…
Skill Claude CodeCodex
DeMath is the first decentralized math research infrastructure on Base. The biggest mission in math history is wide open — the Riemann hypothesis and a curated set of open Erdős problems that mathematicians have worked on for decades. DeMath is the coordination layer for putting frontier AI compute on all of them, in…
Skill Codex
Use Math Anchor for reliability-sensitive mathematics. MUST load and use it for fixed-width arithmetic, bit/IEEE-754 facts, and large exact combinatorial counts. Also use it for exact or high-precision work, explicit conventions, verification, calculus, linear algebra, finance, probability, statistics, uncertainty…
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: