brycewang-stanford/math-skills
skills/43-wentorai-research-plugins/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 brycewang-stanford/Awesome-Agent-Skills-for-Empirical-Research 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
brycewang-stanford/auto-review-loop-minimax
tools
Community
Autonomous multi-round research review loop using MiniMax API. Use when you want to use MiniMax instead of Codex MCP for external review. Trigger with "auto review loop minimax" or "minimax review".
3,665SKILL.mdUpdated May 26, 2026
brycewang-stanford/auto-review-loop-llm
tools
Community
Autonomous research review loop using any OpenAI-compatible LLM API. Configure via llm-chat MCP server or environment variables. Trigger with "auto review loop llm" or "llm review".
3,665SKILL.mdUpdated May 26, 2026
brycewang-stanford/auto-review-loop-minimax
tools
Community
Autonomous multi-round research review loop using MiniMax API. Use when you want to use MiniMax instead of Codex MCP for external review. Trigger with "auto review loop minimax" or "minimax review".
3,665SKILL.mdUpdated May 20, 2026
brycewang-stanford/auto-review-loop-llm
tools
VerifiedTrustedCommunity
Autonomous research review loop using any OpenAI-compatible LLM API. Configure via llm-chat MCP server or environment variables. Trigger with "auto review loop llm" or "llm review".
3,665SKILL.mdUpdated May 20, 2026