yan315598-design / mathmodel-studio

数学建模竞赛 AI Skill：审题、数据分析、模型与算法研究、实验验证、科研绘图及论文整理，支持 Codex、Claude Code 和 ZCode。

li2396803 / cumcm2026

2026 高教社杯全国大学生数学建模竞赛 A/B/C 三题合集：完整建模、求解、多方法检验与一键复现（含三份 PDF 说明文档、全部源码/结果与复现脚本）

nasqret / labyrinth-exploration

An agent skill for Codex, Claude Code and other clients: open-ended research as the exploration of a labyrinth, with a map of what is proved, refuted, conjectured and still dark, proof tiers, independent referees and campaigns of agents.

ssuixinsuoyu / derive-math-animations-skill

—

siyunhao2025-beep / math-modeling-to-sci-skill

将数学建模（Word/LaTeX）转换为可投稿的 SCI 论文的 Skill

HarleyCoops / Math-To-Manim.backup

Create Epic Math and Physics Animations & Study Notes From Text and Images.

Andiii208 / dsh-ultramath

UltraMath 数学建模竞赛多 Agent 求解 DSH 插件: 5 角色预设 + 33 篇模型库 + 论文模板/审稿脚本随包 + 进度可视化

niuniu513-ask / math-contest-assistant

—

liangdabiao / math-concept-film

math-concept-film · 数学概念短片生成器 你说一个概念，AI 还你一部带旁白的数学动画短片。 这是一个给 AI 编程助手（Claude Code /codex/ Workbuddy 等）用的技能（skill）。 装好之后，你只需要对你的 AI 说一句： “帮我用视频讲清楚傅里叶级数” 几分钟后，你会得到一部 2~4 分钟、纸墨手账质感、中文配音、带字幕 的 final.mp4。基于Manim技术

frenzymath / Pharos

—

bespokelabsai / conjecture-bench

15k open math problems, linked to their sources.

mantou6666 / Math-Modeling-Agent-Flow

Math Modeling AI Agent Flow | 数学建模全流程 AI 助手（国赛 CUMCM / 美赛 MCM-ICM）。四阶段流水线 Solver→Paper→Finalizer→Growth：解题认证、论文写作、提交终检、赛后复盘。防 AI 幻觉、防版本冲突，可安装到 Claude Code / Codex。

zhu-hailin / cumcm-modeling-analyst

CUMCM 数学建模 AI Skill｜支持 Codex、Claude Code｜深度读题、EDA 探索性分析、逐问建模、方案评分、文献与数据核验、Python 求解验证、优化/预测/仿真与完整竞赛交付

Swapnil-jain / integer-mult-kappa

Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the multitape model, building on OpenAI's problem and Colkitt's integer-mult-bounds: certificates, independent replays, Lean 4 checks