Run any Skill in Manus with one click

math-skills

Stars2,983

Forks394

UpdatedApril 3, 2026 at 02:07

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

Installation

Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.

Run Skill in Manus

Source

brycewang-stanford

brycewang-stanford/Auto-Empirical-Research-Skills

View GitHub Repository View Creator Repositories

Download

Run Skill in Manus

Related occupationsSOC

Based on SOC occupation classification

Data ScientistsComputer and Mathematical Occupations·SOC 15-2051

File Explorer

7 files

SKILL.md

readonly

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

More from this repository

same repository

auto-empirical-research-skills

brycewang-stanford/Auto-Empirical-Research-Skills

Route empirical-research requests through the Auto-Empirical Research Skills catalog when this whole repository is installed as one skill in Codex, CodeBuddy, Claude Code, or another IDE. Use to choose and load the right vendored AERS skill for causal inference, econometrics, replication, data acquisition, manuscript writing, peer review and referee responses, citation checking, de-AIGC editing, or full empirical-paper workflows without reading the entire repository at once.

2026-07-213.0k

econfin-idea-finder

brycewang-stanford/Auto-Empirical-Research-Skills

公司金融实证研究的"漏斗式选题查找器"。互动开场先后询问 (1) 研究方向、(2) 候选标题数量 N，再扫描全球文献（已出版英文学术期刊 + SSRN working paper + 全球高校 department seminar 1 年内日程），基于 Edmans (2024) "1000 Rejections" 红线生成 N 个候选标题，**通过并行 subagent（Agent 工具）批量生成计划书 + 查新；每个 subagent 必须强制调用 Skill 工具加载 econfin-proposal 与 novelty-check 两个预设 skill 完成各自模块**，**只有当 novelty score >= 9 时（即 JF/JFE/RFS 顶刊层次），subagent 才把 proposal + 查新报告合并的 md 写入 F:\Dropbox\CC\选题大全\<研究方向短名>\（以"简短选题名称-分数"命名，子文件夹名由 Step 0 从用户输入的研究方向派生）；< 9 分的选题在 subagent 内部直接丢弃，绝不写盘、绝不输出**。当用户说"找选题"、"帮我找选题"、"想做 X 方向"、 "empirical CF idea search"、"批量生成研究计划书"、"100 ideas"、"econfin-idea-finder" 时触发。

2026-07-193.0k

compiledeck

brycewang-stanford/Auto-Empirical-Research-Skills

Create and compile beautiful Beamer presentations following the Rhetoric of Decks philosophy. Use when making slides, creating decks, or compiling .tex presentation files.

2026-07-193.0k

newproject

brycewang-stanford/Auto-Empirical-Research-Skills

Scaffold a new research project with standard directory structure, CLAUDE.md template, and documented README. Use this at the start of every new project to ensure consistent organization.

2026-07-193.0k

split-pdf

brycewang-stanford/Auto-Empirical-Research-Skills

Download, split, and deeply read academic PDFs. Use when asked to read, review, or summarize an academic paper. Splits PDFs into 4-page chunks, reads them in small batches, and produces structured reading notes — avoiding context window crashes and shallow comprehension.

2026-07-193.0k

command-development

brycewang-stanford/Auto-Empirical-Research-Skills

This skill should be used when the user asks to "create a slash command", "add a command", "write a custom command", "define command arguments", "use command frontmatter", "organize commands", "create command with file references", "interactive command", "use AskUserQuestion in command", or needs guidance on slash command structure, YAML frontmatter fields, dynamic arguments, bash execution in commands, user interaction patterns, or command development best practices for Claude Code.

2026-07-193.0k

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