Skip to content
Back to skills

Math

ASecurity

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

  • 3,639 stars
  • 0 votes
  • 3 copies
  • 23 views
  • Added June 6, 2026
researchapi

Works with

  • api

Security analysis

A100/100

Pro scans all 7 files and shows the line behind each finding

Scanned June 6, 2026

npx -y skills add brycewang-stanford/Auto-Empirical-Research-Skills --skill math --agent claude-code

Installs into .claude/skills of the current project.

Are you the author of Math?

Add the live security badge to your README. It updates with every re-scan.

Security grade badge for Math
[![Security: A — Skills Directory](https://www.skillsdirectory.com/api/skills/brycewang-stanford-math/badge)](https://www.skillsdirectory.com/skills/brycewang-stanford-math)

More formats (shields.io, HTML) on the badges page. Keep it an A: scan every change in CI with Pro.

Download with Pro
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](./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 |

Files in this skill

  • SKILL.md1.1 KB
  • lean-theorem-proving-guide/SKILL.md3.6 KB
  • linear-algebra-applications/SKILL.md6.5 KB
  • numerical-methods-guide/SKILL.md6.4 KB
  • oeis-api/SKILL.md6.5 KB
  • symbolic-computation-guide/SKILL.md6.5 KB
  • topology-data-analysis/SKILL.md10 KB

Attribution

brycewang-stanfordView sourceSee grades on GitHubMore from brycewang-stanford

Is this your skill, or is something wrong with this listing? Request removal or report an issue. Author removals are honored within 72 hours.

Comments

Loading comments…

Newsletter

Get the weekly list of safe new skills, and the ones we pulled.