Library
SymPy agent skills for Claude Code, Codex and other agents.
- skills
- 34
SymPy 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 | 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 |
| 5 | 把一个化学反应做成自包含的微观 3D 交互演示网页：左/上为 Three.js 可交互分子动画 （拖滑块看断键·成键·原子重组，分步高亮），右为 KaTeX 反应方程 + 分步讲解 + 原子守恒计数 + 可选能量-反应进程曲线。支持三入口——给定文字反应/方程、随机出题、上传图片识别后演示。 | wy51ai/ | 1.4k | — | ~1.2k | Automated safety check: Pass | Apache-2.0 | 9 days ago |
| 6 | 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 |
| 7 | 7.Math Unified math capabilities - computation, solving, and explanation. | parcadei/ | 3.9k | 3 repos | ~1.6k | Automated safety check: Notes | MIT | 8 mo ago |
| 8 | 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 |
| 9 | 9.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 |
| 10 | Problem-solving strategies for analytic functions in complex analysis | parcadei/ | 3.9k | 2 repos | ~913 | Automated safety check: Notes | MIT | 8 mo ago |
| 11 | Problem-solving strategies for boundary value problems in odes pdes | parcadei/ | 3.9k | 2 repos | ~1.1k | Automated safety check: Notes | MIT | 8 mo ago |
| 12 | Problem-solving strategies for contour integrals in complex analysis | parcadei/ | 3.9k | 2 repos | ~902 | Automated safety check: Notes | MIT | 8 mo ago |
| 13 | Problem-solving strategies for operator theory in functional analysis | parcadei/ | 3.9k | 2 repos | ~879 | Automated safety check: Notes | MIT | 8 mo ago |
| 14 | 14.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 |
| 15 | Problem-solving strategies for source coding in information theory | parcadei/ | 3.9k | 2 repos | ~783 | Automated safety check: Notes | MIT | 8 mo ago |
| 16 | 16.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 |
| 17 | 17.Eigenvalues Problem-solving strategies for eigenvalues in linear algebra | parcadei/ | 3.9k | 2 repos | ~304 | Automated safety check: Notes | MIT | 8 mo ago |
| 18 | 18.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 |
| 19 | 19.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 |
| 20 | Problem-solving strategies for graph algorithms in graph number theory | parcadei/ | 3.9k | 1 repo | ~967 | Automated safety check: Notes | MIT | 8 mo ago |
| 21 | Problem-solving strategies for hilbert spaces in functional analysis | parcadei/ | 3.9k | 1 repo | ~999 | Automated safety check: Notes | MIT | 8 mo ago |
| 22 | Problem-solving strategies for integration theory in measure theory | parcadei/ | 3.9k | 1 repo | ~929 | Automated safety check: Notes | MIT | 8 mo ago |
| 23 | Problem-solving strategies for lebesgue measure in measure theory | parcadei/ | 3.9k | 1 repo | ~827 | Automated safety check: Notes | MIT | 8 mo ago |
| 24 | 24.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 |
| 25 | Problem-solving strategies for modular arithmetic in graph number theory | parcadei/ | 3.9k | 1 repo | ~505 | Automated safety check: Notes | MIT | 8 mo ago |
| 26 | Problem-solving strategies for second order odes in odes pdes | parcadei/ | 3.9k | 1 repo | ~830 | Automated safety check: Notes | MIT | 8 mo ago |
| 27 | 27.Continuity Problem-solving strategies for continuity in real analysis. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~292 | Automated safety check: Notes | MIT | 8 mo ago |
| 28 | 28.Limits Problem-solving strategies for limits in real analysis. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~318 | Automated safety check: Notes | MIT | 8 mo ago |
| 29 | 29.Matrices Problem-solving strategies for matrices in linear algebra. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~316 | Automated safety check: Notes | MIT | 8 mo ago |
| 30 | Problem-solving strategies for prime numbers in graph number theory | parcadei/ | 3.9k | 1 repo | ~405 | Automated safety check: Notes | MIT | 8 mo ago |
| 31 | Problem-solving strategies for vector spaces in linear algebra | parcadei/ | 3.9k | 1 repo | ~328 | Automated safety check: Notes | MIT | 8 mo ago |
| 32 | Symbolic math in Python: exact algebra, calculus (derivatives, integrals, limits), equation solving, symbolic matrices, ODEs, code gen (lambdify, C/Fortran). | jaechang-hits/ | 370 | 1 repo | ~3.9k | Automated safety check: Pass | BSD-3-Clause | 8 days ago |
| 33 | Use SymPy to prove or refute a self-authored algebraic identity, derivative, limit, comparative-static sign, or closed form. | flonat/ | 145 | — | ~1.8k | Automated safety check: Notes | MIT | 8 days ago |
| 34 | Computer algebra systems: SymPy, SageMath, and Mathematica for research | wentorai/ | 298 | 1 repo | ~1.7k | Automated safety check: Pass | MIT | 3 mo ago |
Questions, answered from the data.
What is the best SymPy skill?
Sympy from zLanqing/codex-claude-academic-skills ranks first of the 34 SymPy 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.
Is there an official SymPy skill?
None yet. All 34 SymPy skills listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
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.