Topic · Research & Science
Best math and symbolic computation skills for Claude Code, Codex and other agents.
- skills
- 64
- official
- 2
Math and symbolic computation skills, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Sympy A skill your agent uses when working with symbolic mathematics in Python. | zLanqing/ | 4.6k | 16 repos | ~3.4k | Automated safety check: Pass | MIT | 4 mo ago |
| 2 | 把一道解析几何题解成一个自包含的交互教学网页：左栏题面 + 动态控制台（一个 可变参数滑块驱动实时重算的几何量 + 理论范围/定值指示），中栏 KaTeX 分步解析，右栏 2D Canvas 动态几何画板（椭圆/双曲线/抛物线/圆 + 动直线/动点 + 向量 + 标注 + 画笔涂鸦）。 | wy51ai/ | 1.4k | 1 repo | ~1.6k | Automated safety check: Pass | Apache-2.0 | 9 days ago |
| 3 | 把一道立体几何题解成一个自包含的交互教学网页：左侧 MathJax 分步解析， 右侧 Three.js 可交互 3D 模型（分步高亮 + 镜头切换）。支持三种入口——给定文字题目、 随机出题、上传题目图片识别后解题。覆盖正方体/长方体、棱锥/棱柱、圆柱/圆锥上的线面角、 二面角、异面直线夹角、点到平面距离、体积等题型，统一用"建系+向量法"，并由 sympy 精确 计算驱动（答案、3D… | wy51ai/ | 1.4k | 1 repo | ~1.1k | Automated safety check: Pass | Apache-2.0 | 9 days ago |
| 4 | Three-role workflow for math modeling contests: problem analysis, code and results, then a paper, with independent subagent checks at each stage gate. | XiaoMaColtAI/ | 1.9k | — | ~1.2k | Automated safety check: Pass | No licence | today |
| 5 | Deterministic mathematical computation using SymPy. An agent skill from ananddtyagi/cc-marketplace. | ananddtyagi/ | 687 | 2 repos | ~1.3k | Automated safety check: Pass | No licence | 8 mo ago |
| 6 | Runs a mathematical proof project as a stateful pipeline of run directories: a local attempt first, then a manual GPT Pro handoff package, with an optional DeepSeek audit. | wanshuiyin/ | 17k | 1 repo | ~4.7k | Automated safety check: Pass | MIT | yesterday |
| 7 | 把一个化学反应做成自包含的微观 3D 交互演示网页：左/上为 Three.js 可交互分子动画 （拖滑块看断键·成键·原子重组，分步高亮），右为 KaTeX 反应方程 + 分步讲解 + 原子守恒计数 + 可选能量-反应进程曲线。支持三入口——给定文字反应/方程、随机出题、上传图片识别后演示。 | wy51ai/ | 1.4k | — | ~1.2k | Automated safety check: Pass | Apache-2.0 | 9 days ago |
| 8 | Evaluate Jacobian reliability using recently resolved conjectures as held-out probes. | morluto/ | 203 | — | ~816 | Automated safety check: Pass | MIT | 2 days ago |
| 9 | Runs a staged workflow for math modeling contests such as CUMCM and MCM/ICM, with checkpoints, verified solver code and a LaTeX paper, on DeepSeek Harness. | RealSeaberry/ | 258 | — | ~2.3k | Automated safety check: Pass | MIT | 27 days ago |
| 10 | Chinese-language stage that turns a math modeling contest problem and its data files into a modeling report with sub-problems, formulas and a task list for coding. | jihe520/ | 6.2k | — | ~494 | Automated safety check: Notes | No licence | 4 days ago |
| 11 | Runs reproducible math computations and counterexample searches with SymPy, NumPy and mpmath, logging evidence without presenting results as proofs. | tradecatlabs/ | 17k | — | ~881 | Automated safety check: Pass | MIT | 6 days ago |
| 12 | Author, package, validate, or run mathematical evaluations as Jacobian Harbor datasets. | morluto/ | 203 | — | ~690 | Automated safety check: Pass | MIT | 2 days ago |
| 13 | 13.Math Unified math capabilities - computation, solving, and explanation. | parcadei/ | 3.9k | 3 repos | ~1.6k | Automated safety check: Notes | MIT | 8 mo ago |
| 14 | Constructs honest, checkable derivation chains for formulas and theory notes, and keeps approximations and numerical hints from passing as rigorous proof. | tradecatlabs/ | 17k | — | ~429 | Automated safety check: Pass | MIT | 6 days ago |
| 15 | Strategies for scientific computing, numerical methods, bioinformatics/DNA tasks, logic circuit design, algorithmic challenges, and ML training tasks. | A-EVO-Lab/ | 805 | — | ~495 | Automated safety check: Pass | No licence | 1 mo ago |
| 16 | Stage protocol for a math-modeling pipeline that turns a problem analysis into a unified mathematical mechanism, formulas, a solution route and a validation plan. | WuXinbo-bo/ | 111 | — | ~2.9k | Automated safety check: Pass | MIT | 16 days ago |
| 17 | Design or audit a Jacobian operation’s mathematical contract, boundedness, exact results, and composition. | morluto/ | 203 | — | ~2k | Automated safety check: Pass | MIT | 2 days ago |
| 18 | Runs an MCM/ICM math modeling competition end to end: collects contest metadata, builds and verifies models and code, then generates an English LaTeX paper and any required memo. | RealSeaberry/ | 258 | — | ~2.8k | Automated safety check: Pass | MIT | 27 days ago |
| 19 | Turns a mathematical claim into a small Lean 4 and Mathlib formalization checked by the proof assistant kernel, and refuses to report a pass without real evidence. | tradecatlabs/ | 17k | — | ~717 | Automated safety check: Pass | MIT | 6 days ago |
| 20 | Extract reusable Jacobian capabilities from a mathematical solution corpus, rather than one agent trajectory. | morluto/ | 203 | — | ~1.9k | Automated safety check: Pass | MIT | 2 days ago |
| 21 | Writes and audits natural-language math proofs as checkable packages, with explicit assumptions, proof obligations and counterexample hunting, refuting or repairing weak claims. | tradecatlabs/ | 17k | — | ~571 | Automated safety check: Pass | MIT | 6 days ago |
| 22 | Routes an unclear math research request to exactly one specialist skill, naming the current stage, the reason, the inputs needed, a stop condition and the next step. | tradecatlabs/ | 17k | — | ~407 | Automated safety check: Pass | MIT | 6 days ago |
| 23 | Runs a math modeling competition entry end to end, in AI-led or human-led mode, with Git checkpoints and self-verified solver code before it enters the LaTeX paper. | RealSeaberry/ | 258 | — | ~8.5k | Automated safety check: Pass | MIT | 27 days ago |
| 24 | Review mathematical agent trajectories for evidence-backed Jacobian improvements; do not resume solving. | morluto/ | 203 | — | ~848 | Automated safety check: Pass | MIT | 2 days ago |
| 25 | Structures Lean 4 proofs and library design along Mathlib conventions, from stating theorems to refactoring long tactic proofs and fixing slow or timing-out ones. | trailofbits/ | 7.4k | — | ~4k | Automated safety check: Pass | CC-BY-SA-4.0 | 5 days ago |
| 26 | Solves one hard mathematics problem in a single session without subagents, keeping settled steps in a notes file and ending with a self-contained proof.md. | anthropics/ | 37k | — | ~1.5k | Automated safety check: Pass | Apache-2.0 | today |
| 27 | 27.Sympy Performs exact symbolic mathematics with SymPy for algebra, calculus, equation solving, symbolic linear algebra, physics, and lambdify or LaTeX code generation. | K-Dense-AI/ | 48k | 1 repo | ~3.3k | Automated safety check: Notes | MIT | 2 days ago |
| 28 | Design, audit, or repair mathematical benchmark verifiers, submission contracts, and scoring. | morluto/ | 203 | — | ~661 | Automated safety check: Pass | MIT | 2 days ago |
| 29 | Problem-solving strategies for analytic functions in complex analysis | parcadei/ | 3.9k | 2 repos | ~913 | Automated safety check: Notes | MIT | 8 mo ago |
| 30 | Audit a bounded mathematical slice for missing or unusable Jacobian capabilities, beyond a single-operation review. | morluto/ | 203 | — | ~1.5k | Automated safety check: Pass | MIT | 2 days ago |
| 31 | Problem-solving strategies for contour integrals in complex analysis | parcadei/ | 3.9k | 2 repos | ~902 | Automated safety check: Notes | MIT | 8 mo ago |
| 32 | Problem-solving strategies for first order odes in odes pdes | parcadei/ | 3.9k | 2 repos | ~844 | Automated safety check: Notes | MIT | 8 mo ago |
| 33 | Problem-solving strategies for interpolation in numerical methods | parcadei/ | 3.9k | 2 repos | ~1k | Automated safety check: Notes | MIT | 8 mo ago |
| 34 | Problem-solving strategies for operator theory in functional analysis | parcadei/ | 3.9k | 2 repos | ~879 | Automated safety check: Notes | MIT | 8 mo ago |
| 35 | 35.Residues Problem-solving strategies for residues in complex analysis. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 2 repos | ~972 | Automated safety check: Notes | MIT | 8 mo ago |
| 36 | 36.Root Finding Problem-solving strategies for root finding in numerical methods | parcadei/ | 3.9k | 2 repos | ~886 | Automated safety check: Notes | MIT | 8 mo ago |
| 37 | Generate correct MATLAB code using the Symbolic Math Toolbox. | matlab/ | 181 | — | ~2.8k | Automated safety check: Pass | Unknown | 26 days ago |
| 38 | 38.Convergence Problem-solving strategies for convergence in real analysis. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 2 repos | ~316 | Automated safety check: Notes | MIT | 8 mo ago |
| 39 | 39.Eigenvalues Problem-solving strategies for eigenvalues in linear algebra | parcadei/ | 3.9k | 2 repos | ~304 | Automated safety check: Notes | MIT | 8 mo ago |
| 40 | 40.Compactness Problem-solving strategies for compactness in topology. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~732 | Automated safety check: Notes | MIT | 8 mo ago |
| 41 | 41.Fields Problem-solving strategies for fields in abstract algebra. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~693 | Automated safety check: Notes | MIT | 8 mo ago |
| 42 | 42.Groups Problem-solving strategies for groups in abstract algebra. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~956 | Automated safety check: Notes | MIT | 8 mo ago |
| 43 | Problem-solving strategies for hilbert spaces in functional analysis | parcadei/ | 3.9k | 1 repo | ~999 | Automated safety check: Notes | MIT | 8 mo ago |
| 44 | Problem-solving strategies for integration theory in measure theory | parcadei/ | 3.9k | 1 repo | ~929 | Automated safety check: Notes | MIT | 8 mo ago |
| 45 | 45.Math Help Guide to the math cognitive stack - what tools exist and when to use each | parcadei/ | 3.9k | 1 repo | ~2.6k | Automated safety check: Pass | MIT | 8 mo ago |
| 46 | Problem-solving strategies for modular arithmetic in graph number theory | parcadei/ | 3.9k | 1 repo | ~505 | Automated safety check: Notes | MIT | 8 mo ago |
| 47 | Problem-solving strategies for numerical integration in numerical methods | parcadei/ | 3.9k | 1 repo | ~948 | Automated safety check: Notes | MIT | 8 mo ago |
| 48 | 48.Rings Problem-solving strategies for rings in abstract algebra. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~942 | Automated safety check: Notes | MIT | 8 mo ago |
Questions, answered from the data.
What is the best math and symbolic computation skill?
Sympy from zLanqing/codex-claude-academic-skills ranks first of the 64 math and symbolic computation skills listed here, with the highest score: its repository has 4.6k GitHub stars, 16 other GitHub owners carry a copy, its SKILL.md loads about 3.4k tokens and it passes the automated safety check with no findings. Next come Edu Analytic Geometry and Edu Solid Geometry.
Which math and symbolic computation skills are official?
2 of the 64 math and symbolic computation skills are official, published by the vendor's own GitHub organization: Writing Lean Proofs and Math Proof Solo.
How are these skills ranked?
By Skill Navigator score, which combines the GitHub stars of the skill's repository (shared across that repo's skills and discounted for large collections), how many other GitHub owners carry a copy of the skill, and automated SKILL.md quality checks, minus penalties for safety-check warnings and for each further skill from the same repository. Skills that fail the safety check are not listed.
Explore related skills
More topics in Research & Science
- Bioinformatics1,169
- Citation management952
- Academic paper search515
- Literature review487
- Deep research421
- Reproducible research378
- Econometrics and empirical research331
- Peer review314
- Experimental design286
- Clinical and healthcare research271
- Scientific writing258
- Hypothesis generation224
- Physical and earth sciences213
- Drug discovery and cheminformatics202
- Fact-checking and source verification174
- Protein structure and design132
- Grant writing55
- Quantum computing24