Skill Claude CodeCodex
A visual styling skill that applies preset or custom colours and fonts to slides, documents, HTML landing pages, and other outputs.
not rated 12
+1
changed 4d ago A 90 tokens
12Stars on the repository
127Mods indexed here, across every type
6d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
tutor
74Skill Claude CodeCodex
A teaching skill that explains subjects and guides learners toward understanding instead of simply giving them the answer.
not rated 12
+1
changed 4d ago A 185 tokens
understand
75Skill Claude CodeCodex
A codebase analysis skill that creates an interactive map of a project's architecture, components, and connections.
not rated 12
+1
changed 4d ago C 76 tokens
Skill Claude CodeCodex
A skill for building complex interactive web pages and visualisations as HTML artefacts using React, Tailwind CSS, and shadcn/ui.
not rated 12
+1
changed 4d ago A 76 tokens
Skill Claude CodeCodex
A browser-testing skill for interacting with local web applications through Playwright, a tool for automating browsers.
not rated 12
+1
changed 4d ago A 77 tokens
xlsx
78Skill Claude CodeCodex
A spreadsheet skill for reading, editing, repairing, and analysing Excel files and common table formats such as CSV and TSV.
not rated 12
+1
changed 4d ago A 92 tokens
Skill Claude CodeCodex
A template for describing a skill: what it does and when an agent should use it.
not rated 12
+1 6d ago A 65 tokens
Skill Claude CodeCodex
A maths practice planner that creates and checks progressive exercises for school-level concepts, based on known mistakes, representations, and current performance.
not rated 12
+1 6d ago A 70 tokens
Skill Claude CodeCodex
A reporting skill for summarising a student's progress in mathematics from learning data, with separate student and teacher views.
not rated 12
+1 6d ago A 60 tokens
Skill Claude CodeCodex
A maths diagnostic skill that tests possible reasons for a student's repeated mistakes, such as a concept gap, calculation error, reading problem, or modelling issue.
not rated 12
+1 6d ago A 68 tokens
Skill Claude CodeCodex
A maths-answer checker that reviews a student's result and reasoning, supports different correct solution methods, and identifies the first important mistake.
not rated 12
+1 6d ago A 76 tokens
Skill Claude CodeCodex
A tool that organizes primary-to-secondary school maths questions, image-based problems and student answers into a consistent structure.
not rated 12
+1 6d ago A 66 tokens
Skill Claude CodeCodex
A teaching aid that turns explanations of primary and secondary school maths mistakes into simple pictures, such as number lines, fraction bars, arrays, diagrams and tables.
not rated 12
+1 6d ago A 80 tokens
Skill Claude CodeCodex
A maths teaching aid that connects words, symbols, diagrams, graphs, tables, physical materials and real situations to repair gaps in understanding.
not rated 12
+1 6d ago A 65 tokens
Skill Claude CodeCodex
Use when Codex needs to interactively deploy, configure, verify, or launch AI4Math Auto-Research with Agent Laboratory, including API-key handling, user research-topic intake, full local validation, and human review gates.
not rated 12
+1 6d ago A 52 tokens
Skill Claude CodeCodex
Use when Codex should act as a coding-agent-native mathematical problem discovery engine: turn fuzzy mathematical background, scattered notes, domain intuition, failed proof attempts, or immature theorem ideas into a ranked problem menu, conjecture lattice, evidence ledger, counterexample pressure, proof obligations…
not rated 12
+1 6d ago A 93 tokens
Skill Claude CodeCodex
Use when Codex should work as a coding-agent-native proof planning and review workflow: transform a candidate theorem, proof sketch, problem artifact, or proofobligations into a proof blueprint, verifier-style report, repair hints, proof-obligation ledger patches, and a strict proof acceptance decision without…
not rated 12
+1 6d ago A 71 tokens
Skill Claude CodeCodex
Use when a coding agent needs to explain, derive, or run finite element analysis workflows, including mesh discretization, element and basis selection, PDE strong-to-weak form conversion, matrix assembly, boundary-condition handling, sparse solves, and result review for teaching or small reproducible examples.
not rated 12
+1 6d ago A 61 tokens
Skill Claude CodeCodex
Use when a coding agent must compute, route, validate, or explain topological, geometric, or algebraic invariants such as homology, cohomology, Betti numbers, torsion, Euler characteristic, persistent homology, knot or manifold invariants, group homology, Hilbert series, Hilbert polynomials, Betti tables, dimensions…
not rated 12
+1 6d ago A 98 tokens
Skill Claude CodeCodex
Fits linear, polynomial, and nonlinear models to data using least squares regression. Supports ordinary least squares (OLS), weighted least squares (WLS), Ridge/Lasso regularization, custom nonlinear curve fitting, constrained least squares, MCMC Bayesian fitting, and statistical inference via numpy, scipy…
not rated 12
+1 6d ago A 120 tokens
Skill Claude CodeCodex
Use when reproducing, deploying, diagnosing, tuning, visualizing, or reporting computational math research code with a coding agent.
not rated 12
+1 6d ago A 32 tokens
Skill Claude CodeCodex
Use when a coding agent is asked to pursue an interactive AI4Math-Evolving/OpenEvolve goal involving initialprogram.py, evaluator.py, config.yaml, metrics, logs, checkpoints, best-program artifacts, or iterative user feedback.
not rated 12
+1 6d ago A 54 tokens
Skill Claude CodeCodex
Use for interactive Lean 4 formal verification by coding agents with reusable Lean/mathlib workspaces, theorem formalization, proof repair, sorry completion, patch review, optional adapter-first Lean-specialist backend work, and minimal failure handoff.
not rated 12
+1 6d ago A 52 tokens
lean-setup
96Skill Claude CodeCodex
Use when a coding agent needs to install or verify Lean 4, elan, lake, create or reuse a mathlib workspace, configure a shared Lean environment, or run Lean readiness checks before formalization.
not rated 12
+1 6d ago A 45 tokens
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: