Pinned Loading

1. adaptive_admm adaptive_admm Public

   Lean 1 1

2. VeryMath/skill-copt-linear-program VeryMath/skill-copt-linear-program Public

   copt-linear-program Skill

   Python

3. paper-to-skill-extractor paper-to-skill-extractor Public

   Codex skill for extracting reusable mathematical research skills from papers.

4. ai4math-paper-skills ai4math-paper-skills Public

   ai4math-paper-skills is a Codex-native paper-to-skill workflow module for AI4Math research.

   Python

5. Scientific-Computing-Reproduction---Auto-Tuning Scientific-Computing-Reproduction---Auto-Tuning Public

   Skill-first workflows for computational math code reproduction, deployment, auto-tuning, visualization, and reporting with coding agents.

   Python

6. no-end-for-learning no-end-for-learning Public

   no-end-for-learning notebook

   TeX 1