xiaoyang111222 / cn-math-taxonomy
中小学知识图谱 + 前置诊断：数学（一–九年级、高中必修与选择性必修）+ 小学英语，课标对齐、人教版，999 知识点、4143 题、自适应诊断
xiaoyang111222 / cn-math-taxonomy
soumatheusgomes / editonny
Local video editing through conversation. Created by Matheus Gomes.
AbdullahAlhariri / penmentor
AI mentor that reads your math.
OSVerify / OSVerify
One-sided verification under limited expert review: audited review of solutions and papers (mathematics for now).
mathruffian-dot / claude-motion-explainer
用一句話讓 coding agent 做出原理解說動畫（HyperFrames + 中文旁白 + 字幕 + 三色主題）｜Agent skills for narrated explainer animations
ManimCommunity / manim
A community-maintained Python framework for creating mathematical animations.
PDFMathTranslate / PDFMathTranslate
[EMNLP 2025 Demo] PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译，支持 Google/DeepL/Ollama/OpenAI 等服务，提供 CLI/GUI/MCP/Docker/Zotero
sympy / sympy
A computer algebra system written in pure Python
schemathesis / schemathesis
Catch API bugs before your users do
HarleyCoops / Math-To-Manim
Create Epic Math and Physics Animations & Study Notes From Text and Images.
sagemath / sage
Main repository of SageMath
Pyomo / pyomo
An object-oriented algebraic modeling language in Python for structured optimization problems.
neonwatty / machine-learning-refined
Master the fundamentals of machine learning, deep learning, and mathematical optimization by building key concepts and models from scratch using Python.
academa-labs / manimgx
The animation engine for agents: blazingly fast math and 3D videos with Manim's Python API, on a Rust GPU core.
XiaoMaColtAI / math-modeling-skill
数学建模技能 - 面向 CUMCM、MCM/ICM 等数学建模竞赛的三阶段工作流：建模分析、Python/MATLAB 编程与 DOCX 论文生成。包含丰富的算法资源库(优化/预测/评价/图论/机器学习等)、角色指导文档、论文模板和实用工具脚本
sepandhaghighi / pycm
Multi-class confusion matrix library in Python
igraph / python-igraph
Python interface for igraph
python-adaptive / adaptive
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical functions
mpmath / mpmath
Python library for arbitrary-precision floating-point arithmetic
Mathics3 / mathics-core
An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execute them.
zhnnky329 / MathModeling-skills
面向数学建模竞赛的 Claude Code / Codex Skills ，支持分阶段建模流程与 Python、MATLAB/北太天元代码分支。
SakuraMathcraft / LaTeXSnipper
Formula Recognition & Office Editing | Handwriting & PDF to LaTeX/Markdown | Secure API Integrations.
Axelrod-Python / Axelrod
A research tool for the Iterated Prisoner's Dilemma
FloatingPragma / observer-patch-holography
Observer Patch Holography: finite observer consensus, machine-checked mathematics and reproducible models for reconstructing physical structure.
dfki-ric / pytransform3d
3D transformations for Python.
usail-hkust / LLM-MM-Agent
🔥🔥🔥 [NeurIPS2025] MM-Agent: LLM as Agents for Real-world Mathematical Modeling Problem
rai-opensource / spatialmath-python
Create, manipulate and convert representations of position and orientation in 2D or 3D using Python
pymc-devs / pytensor
PyTensor allows you to define, optimize, and efficiently evaluate mathematical expressions involving multi-dimensional arrays.
mathandy / svgpathtools
A collection of tools for manipulating and analyzing SVG Path objects and Bezier curves.
AaronGIG / pdf2zh-desktop
📖 开箱即用的 PDF 学术翻译神器 | Win + Mac 双平台 | 公式排版完美保留 · Zotero 深度联动 · 35 种语言 · 20+ AI 翻译引擎 · 表格/OCR/术语库 · 批量翻译 | 基于 PDFMathTranslate (EMNLP 2025)
morluto / jacobian
Composable mathematics tools for agents
lotchuazzz-crypto / papergraph-mcp
PaperGraph MCP turns math papers into evidence-grounded reading maps for AI agents: extract results, trace proof evidence, plan reading order, and review external dependencies without guessing.
ceyyy427 / finathink
Finathink — Financial Research Optimizer for auditable, point-in-time research, mathematical learning, and constrained portfolio analysis.
1105216375-alt / resimind
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
sghwr / AutoMM
A agent-driven& human-friendly MM-workflow，aiming to autonomously solve math modeling problems and alleviate painful version control issues.
xieyouxixi / hwb-math-modeling-skills
华为杯研究生数学建模竞赛全套AI-skills
haoxilin / cumcm-live-workflow-skill
CUMCM 数学建模竞赛全流程实战技能手册：读题自查→建模出图→LaTeX论文→交叉审阅→填 result 模板→AI 自查表终审→清理打包。含题意理解红线、数值严谨性守则、去 AIGC 特征清单、2026 AI 合规与 26 条自查终审框架。
tetrionlabs / mathema
Claim-Driven Development: turn software intent into verifiable evidence.
Lucasuiii / modeling-workbench
Contest-native, evidence-focused math modeling workflow for Codex and Claude Code
RipperdocNiladri / ASCII-Art
A collection of real-time ASCII rendering experiments built with Python, mathematics, and terminal graphics.
paradigma-inc / limite-violetto
A model for high-frequency mathematical intelligence.
amathislab / terra
Official code implementation of "TERRA: Terrain-Aware Reconstruction, Retargeting and Control for Musculoskeletal Locomotion"
Matheshwaranpitchai / open-source-leader-arm
open-source, low-cost, 3D printed leader arm for teleoperating an SO-ARM
liyingze07-svg / EffectiveAutoResearch-EAR-
An open research workbench for idea discovery, autonomous mathematics, and evidence-grounded rebuttals.
skillforCUMCM / math-modeling-skill-pro
私有的数学建模竞赛专家 Skill Pro：139 篇案例卡、方法库、模板、代码骨架与自动验证工具
Nopon-Knowledge / huawei-cup-modeling-skill
论文去 AI 味 · AI 痕迹检测 · 学术润色｜面向华为杯中国研究生数学建模竞赛的 Codex Skill，支持逐句诊断、去模板化改写、图表优化、规则核验与提交审计，保留研究事实与引文。
Simreal-AI / MathmoBench
[Public preview] An advanced AI Benchmark for math, produced by mathmo at St John's College, Cambridge.
proffitteoy / Mathematician-Humanizer
An evidence-based AI writing skill for clearer, more human mathematical prose, built from stylometry and reference-style analysis
JiahaoLiu2005 / Mathematical_Contest_in_Modeling
全国大学生数学建模竞赛与美国大学生数学建模竞赛的竞赛资料（大数据方向赛题），包括代码、论文模板、比赛经验等
zhou2030109-glitch / Remit
数模Agent（数模 Agent）/ 数学建模 AI 助手：多智能体协作完成题意分析、文献检索、建模、代码执行与论文写作，支持人工审核和断点恢复。Local-first multi-agent workbench for mathematical modeling.
Caldalis / MiniCPM-Math-harness
built around a 2.5B math model that fits on one GPU or a laptop.
WangDXXXX / budget-sandbox-skill
把预算 Excel 变成可拖拽、可交互、数字精确的「预算沙盘」网页 · Turn a budget Excel into an accurate interactive cash-runway sandbox. Fixed verified engine — AI never rewrites the math.
rootkiller6788 / mathmodel-skill
数学建模三竞赛统一工作流 Skill：以状态管理、角色协作、质量门禁和工具链为核心，覆盖选题、建模、求解、稳健性、论文写作到终审提交的全流程。
yjz211 / HaJiMi-Math-Model-Agent
Local desktop agent for end-to-end mathematical modeling, plotting, LaTeX papers, and submission packages.
Staatsgeheim / MathKernel
Evidence-aware multi-engine mathematics runtime for LLMs: exact, symbolic, formal, certified-interval and numeric computation with typed MathIR, trust labels, and full provenance
Odyphus / MathModel-Copilot
面向国赛 CUMCM、美赛 MCM/ICM 的数学建模 AI 助手与 Agent Skill：审题、模型比较、Python 运行、结果核验、论文辅助和团队协作。Mathematical modeling AI copilot for CUMCM and MCM/ICM, with reproducible workflows and a local workbench.
Amduraznak / minimax-h3-fp16-fix
Run MiniMax H3 at native fp16 on pre-bf16 GPUs (V100/Volta) — exact-math fix for the black-frame overflows, ~11× faster than the fp32 fallback.
pmocz / noether
Automatically prove mathematical statements about your jax code in lean
anticipate218 / math-modeling-skill
面向 AI 助手的数学建模竞赛技能：覆盖国赛 CUMCM / 研赛华为杯 / 美赛 MCM-ICM 的选题、建模、检验与论文写作自检
jsChen-biostat / math-modelCN
数学建模资源，包含辅助建模、数据预处理、编程、论文写作、降aigc、查重、科研绘图等关键skill。创建者使用skill的大模型为deepseek harness v4.1 pro，但并非仅有dsh适配，skill内涵skill.md文件、README.md文件，reference文件夹及所需依赖，可以利用各种大模型agent进行安装，此外，库内还上传了数学建模workbench的自定义agent，涵盖着数学建模建模手，编程手，论文手三者分工流程及其他要点，使用该agent便于减少数学建模相关提示词的输入，配合各类skill能完成较为高质量的数学建模论文