Search
Python · Math and symbolic computation
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | 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.7k | 15 repos | ~3.4k | Automated safety check: Pass | MIT | 5 mo ago |
| 2 | 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 |
| 3 | 把一道解析几何题解成一个自包含的交互教学网页：左栏题面 + 动态控制台（一个 可变参数滑块驱动实时重算的几何量 + 理论范围/定值指示），中栏 KaTeX 分步解析，右栏 2D Canvas 动态几何画板（椭圆/双曲线/抛物线/圆 + 动直线/动点 + 向量 + 标注 + 画笔涂鸦）。 | wy51ai/ | 1.4k | 1 repo | ~1.6k | Automated safety check: Pass | Apache-2.0 | yesterday |
| 4 | 把一道立体几何题解成一个自包含的交互教学网页：左侧 MathJax 分步解析， 右侧 Three.js 可交互 3D 模型（分步高亮 + 镜头切换）。支持三种入口——给定文字题目、 随机出题、上传题目图片识别后解题。覆盖正方体/长方体、棱锥/棱柱、圆柱/圆锥上的线面角、 二面角、异面直线夹角、点到平面距离、体积等题型，统一用"建系+向量法"，并由 sympy 精确 计算驱动（答案、3D… | wy51ai/ | 1.4k | 1 repo | ~1.1k | Automated safety check: Pass | Apache-2.0 | yesterday |
| 5 | 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/ | 257 | — | ~2.3k | Automated safety check: Pass | MIT | 1 mo ago |
| 6 | 把一个化学反应做成自包含的微观 3D 交互演示网页：左/上为 Three.js 可交互分子动画 （拖滑块看断键·成键·原子重组，分步高亮），右为 KaTeX 反应方程 + 分步讲解 + 原子守恒计数 + 可选能量-反应进程曲线。支持三入口——给定文字反应/方程、随机出题、上传图片识别后演示。 | wy51ai/ | 1.4k | — | ~1.2k | Automated safety check: Pass | Apache-2.0 | yesterday |
| 7 | Author, package, validate, or run mathematical evaluations as Jacobian Harbor datasets. | morluto/ | 220 | — | ~690 | Automated safety check: Pass | MIT | 6 days ago |
| 8 | 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 | 20 days ago |
| 9 | 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/ | 257 | — | ~2.8k | Automated safety check: Pass | MIT | 1 mo ago |
| 10 | Extract reusable Jacobian capabilities from a mathematical solution corpus, rather than one agent trajectory. | morluto/ | 220 | — | ~1.9k | Automated safety check: Pass | MIT | 6 days ago |
| 11 | 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/ | 257 | — | ~8.5k | Automated safety check: Pass | MIT | 1 mo ago |
| 12 | 12.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 | 6 days ago |
| 13 | Use Jacobian’s typed operations when exact computation or structural analysis can help solve a mathematical problem. | morluto/ | 220 | — | ~214 | Automated safety check: Pass | MIT | 6 days ago |
| 14 | Symbolic math in Python: exact algebra, calculus (derivatives, integrals, limits), equation solving, symbolic matrices, ODEs, code gen (lambdify, C/Fortran). | jaechang-hits/ | 374 | 1 repo | ~3.9k | Automated safety check: Pass | BSD-3-Clause | 12 days ago |
