skills/domains/math/SKILL.md
6 mathematics skills. Trigger: mathematical proofs, theorem proving, numerical methods, linear algebra. Design: formal verification tools and computational mathematics guides.
npx skillsauth add wentorai/research-plugins math-skillsInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
Select the skill matching the user's need, then read its SKILL.md.
| Skill | Description | |-------|-------------| | lean-theorem-proving-guide | LLM agent for formal theorem proving in Lean 4 | | linear-algebra-applications | Apply linear algebra concepts to research computing and data analysis | | numerical-methods-guide | Apply numerical methods and scientific computing techniques | | oeis-api | On-Line Encyclopedia of Integer Sequences API | | symbolic-computation-guide | Computer algebra systems: SymPy, SageMath, and Mathematica for research | | topology-data-analysis | Topological data analysis: persistent homology, Mapper, and TDA tools |
documentation
Write Tsinghua University theses using the ThuThesis LaTeX template
development
Templates, formatting rules, and strategies for thesis and dissertation writing
documentation
Set up LaTeX templates for PhD and Master's thesis documents
documentation
Write SJTU theses using the SJTUThesis LaTeX template with full compliance