Search
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 | 4 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 | yesterday |
| 3 | 把一道解析几何题解成一个自包含的交互教学网页：左栏题面 + 动态控制台（一个 可变参数滑块驱动实时重算的几何量 + 理论范围/定值指示），中栏 KaTeX 分步解析，右栏 2D Canvas 动态几何画板（椭圆/双曲线/抛物线/圆 + 动直线/动点 + 向量 + 标注 + 画笔涂鸦）。 | wy51ai/ | 1.4k | 1 repo | ~1.6k | Automated safety check: Pass | Apache-2.0 | yesterday |
| 4 | 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 | 3 days ago |
| 5 | 把一道立体几何题解成一个自包含的交互教学网页：左侧 MathJax 分步解析， 右侧 Three.js 可交互 3D 模型（分步高亮 + 镜头切换）。支持三种入口——给定文字题目、 随机出题、上传题目图片识别后解题。覆盖正方体/长方体、棱锥/棱柱、圆柱/圆锥上的线面角、 二面角、异面直线夹角、点到平面距离、体积等题型，统一用"建系+向量法"，并由 sympy 精确 计算驱动（答案、3D… | wy51ai/ | 1.4k | 1 repo | ~1.1k | Automated safety check: Pass | Apache-2.0 | yesterday |
| 6 | Deterministic mathematical computation using SymPy. An agent skill from ananddtyagi/cc-marketplace. | ananddtyagi/ | 687 | 1 repo | ~1.3k | Automated safety check: Pass | No licence | 8 mo ago |
| 7 | Evaluate Jacobian reliability using recently resolved conjectures as held-out probes. | morluto/ | 220 | — | ~816 | Automated safety check: Pass | MIT | 5 days ago |
| 8 | 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 |
| 9 | 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 | 7 days ago |
| 10 | 把一个化学反应做成自包含的微观 3D 交互演示网页：左/上为 Three.js 可交互分子动画 （拖滑块看断键·成键·原子重组，分步高亮），右为 KaTeX 反应方程 + 分步讲解 + 原子守恒计数 + 可选能量-反应进程曲线。支持三入口——给定文字反应/方程、随机出题、上传图片识别后演示。 | wy51ai/ | 1.4k | — | ~1.2k | Automated safety check: Pass | Apache-2.0 | yesterday |
| 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 | yesterday |
| 12 | Author, package, validate, or run mathematical evaluations as Jacobian Harbor datasets. | morluto/ | 220 | — | ~690 | Automated safety check: Pass | MIT | 5 days ago |
| 13 | 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 | yesterday |
| 14 | 14.Math Unified math capabilities - computation, solving, and explanation. | parcadei/ | 3.9k | 2 repos | ~1.6k | Automated safety check: Notes | MIT | 8 mo ago |
| 15 | Strategies for scientific computing, numerical methods, bioinformatics/DNA tasks, logic circuit design, algorithmic challenges, and ML training tasks. | A-EVO-Lab/ | 809 | — | ~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 | 20 days ago |
| 17 | Design or audit a Jacobian operation’s mathematical contract, boundedness, exact results, and composition. | morluto/ | 220 | — | ~2k | Automated safety check: Pass | MIT | 5 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/ | 257 | — | ~2.8k | Automated safety check: Pass | MIT | 1 mo 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 | yesterday |
| 20 | Extract reusable Jacobian capabilities from a mathematical solution corpus, rather than one agent trajectory. | morluto/ | 220 | — | ~1.9k | Automated safety check: Pass | MIT | 5 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 | yesterday |
| 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 | yesterday |
| 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/ | 257 | — | ~8.5k | Automated safety check: Pass | MIT | 1 mo ago |
| 24 | Review mathematical agent trajectories for evidence-backed Jacobian improvements; do not resume solving. | morluto/ | 220 | — | ~848 | Automated safety check: Pass | MIT | 5 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.5k | — | ~4k | Automated safety check: Pass | CC-BY-SA-4.0 | yesterday |
| 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/ | 38k | — | ~1.5k | Automated safety check: Pass | Apache-2.0 | yesterday |
| 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 | 5 days ago |
| 28 | Design, audit, or repair mathematical benchmark verifiers, submission contracts, and scoring. | morluto/ | 220 | — | ~661 | Automated safety check: Pass | MIT | 5 days ago |
| 29 | Audit a bounded mathematical slice for missing or unusable Jacobian capabilities, beyond a single-operation review. | morluto/ | 220 | — | ~1.5k | Automated safety check: Pass | MIT | 5 days ago |
| 30 | Problem-solving strategies for analytic functions in complex analysis | parcadei/ | 3.9k | 1 repo | ~913 | Automated safety check: Notes | MIT | 8 mo ago |
| 31 | Problem-solving strategies for contour integrals in complex analysis | parcadei/ | 3.9k | 1 repo | ~902 | Automated safety check: Notes | MIT | 8 mo ago |
| 32 | Problem-solving strategies for first order odes in odes pdes | parcadei/ | 3.9k | 1 repo | ~844 | Automated safety check: Notes | MIT | 8 mo ago |
| 33 | Problem-solving strategies for interpolation in numerical methods | parcadei/ | 3.9k | 1 repo | ~1k | Automated safety check: Notes | MIT | 8 mo ago |
| 34 | Problem-solving strategies for operator theory in functional analysis | parcadei/ | 3.9k | 1 repo | ~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 | 1 repo | ~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 | 1 repo | ~886 | Automated safety check: Notes | MIT | 8 mo ago |
| 37 | 37.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 |
| 38 | 38.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 |
| 39 | 39.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 |
| 40 | Problem-solving strategies for hilbert spaces in functional analysis | parcadei/ | 3.9k | 1 repo | ~999 | Automated safety check: Notes | MIT | 8 mo ago |
| 41 | Problem-solving strategies for integration theory in measure theory | parcadei/ | 3.9k | 1 repo | ~929 | Automated safety check: Notes | MIT | 8 mo ago |
| 42 | 42.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 |
| 43 | Problem-solving strategies for modular arithmetic in graph number theory | parcadei/ | 3.9k | 1 repo | ~505 | Automated safety check: Notes | MIT | 8 mo ago |
| 44 | Problem-solving strategies for numerical integration in numerical methods | parcadei/ | 3.9k | 1 repo | ~948 | Automated safety check: Notes | MIT | 8 mo ago |
| 45 | 45.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 |
| 46 | Problem-solving strategies for second order odes in odes pdes | parcadei/ | 3.9k | 1 repo | ~830 | Automated safety check: Notes | MIT | 8 mo ago |
| 47 | 47.Convergence Problem-solving strategies for convergence in real analysis. An agent skill from parcadei/Continuous-Claude-v3. | parcadei/ | 3.9k | 1 repo | ~316 | Automated safety check: Notes | MIT | 8 mo ago |
| 48 | 48.Eigenvalues Problem-solving strategies for eigenvalues in linear algebra | parcadei/ | 3.9k | 1 repo | ~304 | Automated safety check: Notes | MIT | 8 mo ago |
