Skill Claude CodeCodex
Explain mathematical logic, set theory, proof techniques, and foundations: propositional and predicate logic, axioms (ZFC), cardinality, ordinals, axiom of choice, Goedel incompleteness, computability, Turing machines, model theory, type theory. Use for logic puzzles, proofs by induction, and foundational questions.
Skill Claude CodeCodex
Explain the mathematics behind machine learning and AI: linear models, gradient descent, backpropagation, neural networks, probabilistic models, kernels, PCA, SVD, optimization landscapes, generalization, attention and transformers, information theory in ML. Use for ML theory and derivations.
Skill Claude CodeCodex
Teach mathematics at any level: diagnose misconceptions, explain concepts with multiple representations, scaffold step-by-step solutions, generate practice problems and quizzes, create study plans from arithmetic to graduate topics. Use when the user is learning or teaching math.
Skill Claude CodeCodex
Router and global conventions for all mathematics skills. Use FIRST for any mathematics, proof, calculation, statistics, or quantitative-reasoning question and decide which specialized math skill(s) to load.
Skill Claude CodeCodex
Build and analyze mathematical models of real-world systems: population dynamics, epidemics, finance, economics, physics, engineering, networks, optimization trade-offs, sensitivity analysis, dimensionless scaling, model validation. Use for turning real problems into equations.
Skill Claude CodeCodex
Teach mathematical problem solving and proof writing: Polya heuristics, olympiad techniques, inequalities (AM-GM, Cauchy-Schwarz), functional equations, invariants, induction, extremal principle, constructions, writing rigorous proofs. Use for competition math, proof help, and reasoning-heavy problems.
Skill Claude CodeCodex
Solve multivariable and vector calculus: partial derivatives, gradient, Jacobian, Lagrange multipliers, multiple integrals, change of variables, line and surface integrals, Green, Stokes, divergence theorems, differential forms. Use for 2D/3D calculus and field problems.
Skill Claude CodeCodex
Solve number theory problems: divisibility, primes, gcd, modular arithmetic, congruences, CRT, Fermat/Euler theorems, quadratic residues, Diophantine equations, continued fractions, RSA and elliptic-curve cryptography basics. Includes a Python helper script. Use for integer, prime, modular and cryptography questions.
Skill Claude CodeCodex
Do numerical analysis: floating point, root finding, interpolation, numerical integration, linear solvers, eigenvalue algorithms, ODE and PDE solvers, error analysis, stability, convergence, Fast Fourier Transform. Includes Python scripts. Use for any numerical computation or algorithm accuracy question.
Skill Claude CodeCodex
Solve optimization problems: linear programming, simplex, duality, convex optimization, gradient descent, Lagrange and KKT conditions, integer programming, dynamic programming, game theory, network flow, calculus of variations, stochastic optimization. Includes a Python script. Use for any maximize/minimize or…
Skill Claude CodeCodex
Cover rigorous real analysis: sequences, limits, continuity, uniform convergence, compactness, metric spaces, Riemann and Lebesgue integration, measure theory, convergence theorems, Lp spaces, Fourier basics. Use for epsilon-delta proofs and analysis theory.
Skill Claude CodeCodex
Perform statistics: descriptive statistics, estimation, confidence intervals, hypothesis tests, regression, ANOVA, Bayesian inference, bootstrapping, experimental design, model selection, causal inference basics. Includes a Python simulation script. Use for data analysis, p-values, A/B tests, and regression.
Skill Claude CodeCodex
Use computer algebra for mathematics: SymPy symbolic algebra, calculus, equation solving, series, matrices, ODEs, simplification, LaTeX output, and verification of hand derivations. Includes a Python helper script. Use whenever exact symbolic results or verification of algebra is needed.
Skill Claude CodeCodex
Teach topology and differential/algebraic geometry: topological spaces, continuity, compactness, connectedness, homotopy, fundamental group, homology, manifolds, differential forms, curvature, Riemannian geometry, algebraic varieties. Use for topology, manifolds, and geometry beyond Euclidean.
Skill Claude CodeCodex
Solve Euclidean geometry and trigonometry problems: triangles, circles, polygons, area and volume, similarity, congruence, coordinate geometry, trig identities, laws of sines and cosines, vectors in the plane, transformations. Use for any geometry or trig question.
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: