wentorai/math-skills
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.
$ install --global
skillsauthnpx skillsauth add wentorai/research-plugins math-skillsInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Apr 19, 2026, 2:13 AM21.1s7 files scanned
SKILL.md
- name:
- math-skills
- description:
- 6 mathematics skills. Trigger: mathematical proofs, theorem proving, numerical methods, linear algebra. Design: formal verification tools and computational mathematics guides.
Mathematics — 6 Skills
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 |
Related Skills
wentorai/document-skills
tools
VerifiedTrustedCommunity
10 document processing skills. Trigger: extracting text from PDFs, parsing references, document Q&A. Design: parsing pipelines (GROBID, marker) and structured extraction tools.
200SKILL.mdUpdated Apr 20, 2026
wentorai/tldraw-whiteboard-guide
documentation
VerifiedTrustedCommunity
Guide to tldraw for infinite canvas whiteboarding and diagram creation
200SKILL.mdUpdated Apr 20, 2026
wentorai/scientific-illustration-guide
testing
VerifiedTrustedCommunity
Create graphical abstracts, schematic diagrams, and scientific illustrations
200SKILL.mdUpdated Apr 20, 2026
wentorai/plantuml-guide
documentation
VerifiedTrustedCommunity
Create UML diagrams and architecture visualizations with PlantUML
200SKILL.mdUpdated Apr 20, 2026