math-skills

6 mathematics skills. Trigger: mathematical proofs, theorem proving, numerical methods, linear algebra. Design: formal verification tools and comput…

它会碰到什么

扫了多少7 个文本文件，41 KB

它会碰到什么执行命令联网

命中总数8 处

命中统计严重 0 · 高 0 · 中 0 · 低 0

这一栏是扫描器报的事实，不是结论。命中多不等于有毒（安全工具、规则库、示例脚本本来就会包含危险写法），命中少也不等于干净。它和你手上的凭据、文件、网络有什么关系，需要你自己看。

Select the skill matching the user's need, then read its SKILL.md.

| Skill | Description |

|-------|-------------|

| [lean-theorem-proving-guide](./lean-theorem-proving-guide/SKILL.md) | LLM agent for formal theorem proving in Lean 4 |

| [linear-algebra-applications](./linear-algebra-applications/SKILL.md) | Apply linear algebra concepts to research computing and data analysis |

| [numerical-methods-guide](./numerical-methods-guide/SKILL.md) | Apply numerical methods and scientific computing techniques |

| [oeis-api](./oeis-api/SKILL.md) | On-Line Encyclopedia of Integer Sequences API |

| [symbolic-computation-guide](./symbolic-computation-guide/SKILL.md) | Computer algebra systems: SymPy, SageMath, and Mathematica for research |

| [topology-data-analysis](./topology-data-analysis/SKILL.md) | Topological data analysis: persistent homology, Mapper, and TDA tools |

想直接用这个技能？

本站把开放许可（MIT / Apache 等）的技能按仓库打包整理到网盘，点一下转存到你自己的网盘，不用一个个从 GitHub 拉。许可未声明的技能只给原始仓库链接，不打包。

星标★ 3,829

本站分层T1

该仓技能数1161

原文件路径skills/43-wentorai-research-plugins/skills/domains/math/SKILL.md