Skill Claude CodeCodex
Route AI4Math optimization tasks to the appropriate bundled skill package.
5 1mo ago A 19 tokens
original MIT
5Stars on the repository
8Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Skill Claude CodeCodex
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…
5 1mo ago A 80 tokens
original MIT
Skill Claude CodeCodex
Models and solves linear programs (LP) with Cardinal Optimizer (coptpy). Restates natural-language word problems into LP before building and solving. Use when the user mentions COPT/coptpy, linear programming, LP, word problems, applications, story problems, natural-language descriptions, 应用题, 线性规划文字题, or matrix-form…
5 1mo ago A 90 tokens
original MIT
Skill Claude CodeCodex
Models and solves linear programs (LP) with multiple solvers (COPT, Gurobi, MOSEK, CPLEX, HiGHS (scipy/highspy), CLARABEL, PuLP/CBC, CVXOPT, OR-Tools/GLOP, GLPK, SoPlex, lpsolve, ECOS). Restates natural-language word problems into LP before building and solving. When no local solver is available, searches GitHub for…
5 1mo ago A 149 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.
5 1mo ago A 30 tokens
original MIT
or-solver
06Skill Claude CodeCodex
Unified solver detection, installation, selection, and license configuration for OR optimization skills (LP, MIP, SOCP). One-stop solver management: detect installed packages, install missing solvers with proper priority, select the best available solver by problem type, and troubleshoot common errors. Covers 20…
5 1mo ago A 145 tokens
original MIT
osqp-solver
07Skill Claude CodeCodex
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…
5 1mo ago A 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…
5 1mo ago A 114 tokens
original MIT