VeryMath/AI4Math-Optimization

AI4Math skills for optimization modeling, solver routing, convex quadratic programming with OSQP, and manifold-constrained optimization with CDOpt.

11Stars on the repository
7Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

cdopt-optimization

02

VeryMath/AI4Math-Optimization

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

VeryMath/AI4Math-Optimization

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

04

VeryMath/AI4Math-Optimization

Skill 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

05

VeryMath/AI4Math-Optimization

Skill 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

VeryMath/AI4Math-Optimization

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

07

VeryMath/AI4Math-Optimization

Skill 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

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: