A collection of Inno Agent documentation and resources: official documentation, specialized tutorials, a Skill library, and workspace templates
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…
Skill Claude CodeCodex
A tool for expressing and solving linear programs with Cardinal Optimizer, also called COPT, through its Python package coptpy. It can translate natural-language word problems into linear optimization models.
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…
Skill Claude CodeCodex
Models and solves mixed-integer linear programs, including binary, integer, and continuous decision variables with linear objectives and constraints.
Skill 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…
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…
Skill Claude CodeCodex
Route mathematical paper-reading tasks through structured extraction, dependency analysis, deep reading, literature search, and reference management modules.
Skill Claude CodeCodex
Use when extracting reusable AI4Math research skills from papers, especially PDF-to-SkillCard workflows, paper triage, PDF preparation, proof-pattern extraction, and cross-paper SkillCard synthesis for a coding-agent-neutral paper-to-skill workflow.
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.
Skill Claude CodeCodex
A tool for creating classroom quizzes in Markdown, a plain-text document format. It supports different question types and difficulty levels, with separate files for teachers and learners.
Skill Claude CodeCodex
Turn new words from English study material into Anki-compatible vocabulary cards.
Skill Claude CodeCodex
Score an IELTS Writing task (Task 1/2) against the official four criteria and give targeted revisions; invoked when the user pastes an essay or says "grade my essay" / "score my essay" / "essay".
Skill Claude CodeCodex
Generate IELTS reading questions from an article and drill long/complex sentences; invoked when the user says "reading practice" / "give me some questions" or pastes an article and asks for questions.
Skill Claude CodeCodex
Read the L1 learner profile to find weak / due concepts, generate a targeted quiz and a progress report; invoked when the user says "review" / "weekly report" / "let's revise" or triggered by a scheduled job.
Skill Claude CodeCodex
A reference framework for writing mathematics learning goals and assessments in line with Chinese compulsory-education standards. It defines standard terms for mathematical abilities, knowledge, skills, and alignment between teaching and assessment.
Skill Claude CodeCodex
A lesson-planning workflow for a regular new-topic class, from introducing a situation through explanation, practice, testing, and a summary. It records goals, timing, roles, materials, and quick feedback for each activity.
Skill Claude CodeCodex
A teaching-assessment skill for designing evaluation plans and grading rubrics. It links learning abilities to classroom activities and describes observable performance across five levels.
Skill Claude CodeCodex
A teaching-content skill that turns learning goals into a classroom presentation outline. It includes objectives, an introduction, core ideas, examples or investigations, and a summary.
Skill Claude CodeCodex
A learning-objectives skill for writing measurable, tiered goals for teaching. It also defines the context, key question, main concepts, and expected student outcomes.
Skill Claude CodeCodex
A learning-analysis skill that turns class answer data into a self-contained HTML dashboard. It shows results by topic, student grouping, ability area, error type, and difficulty.
Skill Claude CodeCodex
A lesson-explanation skill that turns subject knowledge into a speaking script and a presentation outline. It labels basic, important, difficult, and commonly mistaken points, with simple examples.
Skill Claude CodeCodex
A lesson-planning skill that produces a structured Markdown lesson plan. It covers student starting points, measurable goals, activities, checks for understanding, board notes, homework, and reflection.
Skill Claude CodeCodex
Produce thoughtful, high-fidelity design artifacts in HTML — landing pages, slide decks, interactive prototypes, animated videos, posters, wireframes, and visual explorations. Use whenever the user asks to design, mock up, prototype, visualize, storyboard, or explore UI options — including phrases like "make a deck"…
Skill Claude CodeCodex
Generate beautiful, self-contained HTML pages that visually explain systems, code changes, plans, and data. Use when the user asks for a diagram, architecture overview, diff review, plan review, project recap, comparison table, or any visual explanation of technical concepts. Also use proactively when you are about to…
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: