Skill Claude CodeCodex
Route AI4Math optimization tasks to the appropriate bundled skill package.
not rated 11
+1
changed 1mo ago A 19 tokens
original MIT
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…
not rated 11
+1 1mo ago A SkillSpector: warn 80 tokens
original MIT
Skill Claude CodeCodex
Models and solves mixed-integer linear programs, including binary, integer, and continuous decision variables with linear objectives and constraints.
not rated 11
+1
changed 1mo ago A SkillSpector: pass 30 tokens
original MIT
or-solver
04Skill Claude CodeCodex
Configure the Python environment for a solver already specified by the user or a modeling skill. Check the target interpreter and dependencies, install required packages, configure licenses and environment variables, troubleshoot setup errors, and report availability. Use for installing or repairing a named solver…
not rated 11
+1
changed 1mo ago A SkillSpector: pass 69 tokens
original MIT
osqp-solver
05Skill Codex
Model, solve, update, reproduce, and diagnose continuous convex quadratic programs with the OSQP Python interface, including canonical-form conversion, sparse CSC data, solver-status gates, residual checks, infeasibility certificates, warm starts, repeated parametric QPs, and academic citation. Use when a task names…
not rated 11
+1 1mo ago A SkillSpector: pass 131 tokens
original MIT
Skill Claude CodeCodex
Models and solves second-order cone programs and problems convertible to SOCP form using cvxpy with multiple solver backends (COPT, Gurobi, MOSEK, CPLEX, CLARABEL, ECOS, SCS, CVXOPT, COSMO, OSQP). Handles linear objectives with second-order cone constraints, as well as problems reducible to SOCP such as portfolio…
not rated 11
+1
changed 1mo ago A SkillSpector: pass 114 tokens
original MIT
optskills
07Skill Claude CodeCodex
Use when a coding agent must model or solve a natural-language operations-research problem by selecting from the released OptSkills problem-archetype cards, or when the user explicitly asks to update this standalone OptSkills library from its official upstream repository.
not rated 11
+1
changed 1mo ago A 51 tokens
original MIT
Cursor rule Cursor
Co-Mathematician canonical role routing for Cursor Agent.
not rated 10 6d ago A 303 tokens
original MIT
Cursor rule Cursor
Coding-agent-driven AI Co-Mathematician workspace rules.
not rated 10 6d ago A 732 tokens
original MIT
Skill Claude CodeCodex
Use when creating, continuing, reviewing, or completing a durable coding-agent-driven mathematical research project.
not rated 10 6d ago A 26 tokens
original MIT
Skill Claude CodeCodex
Route AI4Math mathematical writing and presentation tasks to the bundled skill packages.
not rated 9
+1 1mo ago A 20 tokens
original MIT
math-beamer
12Skill 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…
not rated 9
+1
changed 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.
not rated 9
+1 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.
not rated 9
+1 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.
not rated 9
+1 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.
not rated 9
+1 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.
not rated 9
+1 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.
not rated 9
+1 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.
not rated 9
+1 1mo ago A 43 tokens
original MIT
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: