Skill Codex
A skill for solving one specified question from a mathematical modelling competition through model design, real calculations, and iterative checks. It compares up to three independent solution routes and suggests paper figures and tables.
Skill Claude CodeCodex
A skill for creating agent presets under DeepSeek Harness, a system for defining reusable agent configurations. It produces preset.yml and agent.cordis.yml files and checks that they assemble correctly.
Skill Claude Code
A bounded local exploratory data analysis tool for supported scientific files such as CSV, TSV, and JSON. Exploratory data analysis means checking a dataset's shape, quality, missing values, unusual values, and possible leakage before deeper work.
Skill Claude CodeCodex
A tool for drawing non-data diagrams with HTML and CSS and printing them as single-page vector PDFs for inclusion in LaTeX papers.
Skill Claude CodeCodex
A procedure for upgrading the underlying DeepSeek Harness version in MetaMath Harness while reconnecting local extensions and checking that features still work. The description does not provide enough detail to explain the harnesses themselves.
Skill Claude CodeCodex
Use when the user wants an end-to-end MCM/ICM English mathematical modeling workflow with per-question diverse Python figures, project-locked Draw.io or AI non-data figures, automatic Windows LaTeX setup, step0-step5 hard gates, and final LaTeX/PDF output.
Skill Claude CodeCodex
A manually triggered tool for turning CSV or spreadsheet data and a written chart request into scientific figures using Python templates. It checks the technical and visual result and can produce PNG, SVG, or PDF files with reproducible code.
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: