Sympy
zLanqing/codex-claude-academic-skills
A skill your agent uses when working with symbolic mathematics in Python.
Routes an unclear math research request to exactly one specialist skill, naming the current stage, the reason, the inputs needed, a stop condition and the next step.
SKILL.md written in Chinese; this summary is our English description.
Install Math Research Task Router
$ npx skills add tradecatlabs/vibe-coding-cn --skill vibe-mathing-router -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install tradecatlabs/vibe-coding-cn vibe-mathing-router --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/tradecatlabs/vibe-coding-cn.git skills-src && mkdir -p .claude/skills && cp -r skills-src/research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router .claude/skills/vibe-mathing-router && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "vibe-mathing-router" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router into .claude/skills/vibe-mathing-router/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "vibe-mathing-router", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-routerType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add tradecatlabs/vibe-coding-cn --skill vibe-mathing-router -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install tradecatlabs/vibe-coding-cn vibe-mathing-router --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/tradecatlabs/vibe-coding-cn.git skills-src && mkdir -p .agents/skills && cp -r skills-src/research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router .agents/skills/vibe-mathing-router && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "vibe-mathing-router" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router into .agents/skills/vibe-mathing-router/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "vibe-mathing-router", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add tradecatlabs/vibe-coding-cn --skill vibe-mathing-router -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install tradecatlabs/vibe-coding-cn vibe-mathing-router --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/tradecatlabs/vibe-coding-cn.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router .cursor/skills/vibe-mathing-router && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "vibe-mathing-router" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router into .cursor/skills/vibe-mathing-router/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "vibe-mathing-router", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/tradecatlabs/vibe-coding-cn.git --path research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add tradecatlabs/vibe-coding-cn --skill vibe-mathing-router -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install tradecatlabs/vibe-coding-cn vibe-mathing-router --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/tradecatlabs/vibe-coding-cn.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router .gemini/skills/vibe-mathing-router && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "vibe-mathing-router" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router into .gemini/skills/vibe-mathing-router/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "vibe-mathing-router", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install tradecatlabs/vibe-coding-cn vibe-mathing-routerInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add tradecatlabs/vibe-coding-cn --skill vibe-mathing-router -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/tradecatlabs/vibe-coding-cn.git skills-src && mkdir -p .github/skills && cp -r skills-src/research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router .github/skills/vibe-mathing-router && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "vibe-mathing-router" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router into .github/skills/vibe-mathing-router/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "vibe-mathing-router", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add tradecatlabs/vibe-coding-cn --skill vibe-mathing-router -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install tradecatlabs/vibe-coding-cn vibe-mathing-router --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/tradecatlabs/vibe-coding-cn.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router .opencode/skills/vibe-mathing-router && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "vibe-mathing-router" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router into .opencode/skills/vibe-mathing-router/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "vibe-mathing-router", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
vibe-mathing-router- GitHub stars
- 17k
- Token cost
- ~407 tokens
- SKILL.md length
- 79 words
- Files
- 6 (incl. references)
- Skills in repo
- 17
- Repo updated
- First seen
- Licence
- MIT
At a glance
Routes an unclear math research request to exactly one specialist skill, naming the current stage, the reason, the inputs needed, a stop condition and the next step.
- An open-ended math question where it is unclear whether to search, derive, compute or prove
- SKILL.md covers Position in the Method Map, When to Use This Skill, Not For / Boundaries and Quick Reference, plus 3 more sections
- Calls python3
- Mixed input of papers, formulas, conjectures and code that needs a first step
What it does
This skill, written mostly in Chinese, is a router for mathematical research requests when it is unclear whether you need literature search, derivation, computation, proof or formal verification. It identifies the current bottleneck and hands the work to exactly one specialist skill instead of starting the whole research chain. It first asks whether the specification and semantics are frozen, then separates verification styles such as deductive proof, model checking, abstract interpretation, SAT or SMT and symbolic reasoning, and refinement.
The quick reference sends missing problem boundaries or prior work to `math-discovery`, unclear formula objects, assumptions or approximations to `math-derivation`, and needs for exact computation, numerical experiments or counterexample search to `math-computation`; further routes lead to proof and formalization skills. Every routing answer states the current stage, the chosen skill, the reason, required inputs, a stop condition and one next step. Examples show an open sequence question going to discovery, an integral identity to computation and a request to write a proof in Lean to formalization, with a blocked status if Lean is missing.
It does not generate mathematical conclusions or replace domain knowledge or mechanical verification, skips routing when a request already names the work, and chooses by the current blocker, not by the output file type.
When your agent uses it
- An open-ended math question where it is unclear whether to search, derive, compute or prove
- Mixed input of papers, formulas, conjectures and code that needs a first step
- Asking which math skill to use next
Example prompts
- “Look into this sequence I found and tell me which kind of work should come first.”
- “I have a paper, a formula and a conjecture all mixed together. What is the shortest path to checking them?”
- “Which math skill should I use next for this problem?”
What it can do on your machine
Read from SKILL.md and the folder at commit 5b76a8f. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
Shell commands in SKILL.md call:
python3
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Math Research Task Router loads about 407 tokens when it runs, and up to ~568 if it reads all its reference files. Until then it costs about 22 tokens; SKILL.md has 79 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
Safety
Auto-check passed
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
SKILL.md
The full file from tradecatlabs/vibe-coding-cn at commit 5b76a8f, republished under its MIT licence (© tradecatlabs). 79 words, ~407 tokens.
Download SKILL.mdSave it as
.claude/skills/vibe-mathing-router/SKILL.md (or your agent's skills folder). This skill also uses 5 other files; get the full folder from GitHub.- name
- vibe-mathing-router
- description
- 数学研究任务路由器。用户提出找问题、查文献、推公式、做计算、写证明或形式化验证，但当前瓶颈尚未明确时使用；每次只选择一个主 skill。
Vibe Mathing Router
识别当前数学研究瓶颈，只把任务交给一个 owner；不把整条研究链同时启动。
Position in the Method Map
路由器先问“规格和语义是否已经冻结”，再区分演绎证明、模型检查、抽象解释、SAT/SMT/符号推理（含符号执行）或精化/综合的验证范式。Lean 是依赖类型理论型演绎验证的主战场，不是整张形式化方法地图。完整的上位/二级地图见 FORMAL-METHODS-MAP.md。顶层编排语言见 RESEARCH-LIFECYCLE-MODEL-v0.1.md：路由器为 Step 选择 owner，不能把一次 Job 成功解释为数学结果。
When to Use This Skill
- 用户提出开放式数学问题，但尚未说明需要检索、推导、计算还是证明。
- 输入混合了论文、公式、猜想和代码，需要先决定当前最短验证路径。
- 用户问“下一步该做什么”或“该用哪个数学 skill”。
Not For / Boundaries
- 已明确要求符号计算、证明或 Lean 验证时，直接使用对应 owner。
- 不生成数学结论，不替代领域知识或机械验证。
- 不因输出文件类型选择路线；按当前阻塞选择。
Quick Reference
缺少问题边界/前人工作 -> math-discovery
公式对象、假设或近似不清 -> math-derivation
需要精确计算、数值实验、反例搜索 -> math-computation
需要定理证明、补步骤、攻击证明 -> math-proof
需要 Lean/内核级验证 -> math-formalization路由输出必须包含：当前阶段、主 skill、选择理由、必需输入、停止条件、唯一下一步。
Examples
Example 1：开放问题
- 输入：“研究一下这个数列。”
- 动作：选择
math-discovery，先固定数列、已知项和检索边界。 - 验收：没有直接声称新定理，只给出可检索问题。
Example 2：明确恒等式
- 输入：“检查这个积分恒等式。”
- 动作：选择
math-computation。 - 验收：产出可重跑计算和适用条件，不标记为一般性证明。
Example 3：形式化请求
- 输入：“把这个证明写成 Lean。”
- 动作：选择
math-formalization并先运行工具预检。 - 验收：Lean 缺失时状态为 blocked/calibration，不伪造 kernel-check。
References
references/source-map.md：项目 owner 映射来源。references/pressure-tests.md：路由误触发压力场景。
Maintenance
- Sources：本项目 owner mapping 与供应链审计结果。
- Last updated：2026-09-07。
- Verification：
python3 scripts/validate_project.py。
© tradecatlabs, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Files
SKILL.md and 5 other files (references) in research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router of tradecatlabs/vibe-coding-cn.
- SKILL.md
- CHANGELOG.md
- VERSION
- references/index.md
- references/pressure-tests.md
- references/source-map.md
Open the folder on GitHubat commit 5b76a8f
Compare with similar skills
Math Research Task Router next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Math Research Task Router this skilltradecatlabs/vibe-coding-cn | 17k | — | ~407 | Automated safety check: Pass | MIT | |
| SympyzLanqing/codex-claude-academic-skills | 4.7k | 15 repos | ~3.4k | Automated safety check: Pass | MIT | |
| Math Modeling Competition WorkflowXiaoMaColtAI/math-modeling-skill | 1.9k | — | ~1.2k | Automated safety check: Pass | None | |
| Edu Analytic Geometrywy51ai/edulab | 1.4k | 1 repos | ~1.6k | Automated safety check: Pass | Apache-2.0 | |
| Proof Run Orchestratorwanshuiyin/Auto-claude-code-research-in-sleep | 17k | 1 repos | ~4.7k | Automated safety check: Pass | MIT | |
| Edu Solid Geometrywy51ai/edulab | 1.4k | 1 repos | ~1.1k | Automated safety check: Pass | Apache-2.0 |
Similar skills
Math Modeling Competition Workflow
XiaoMaColtAI/math-modeling-skill
Three-role workflow for math modeling contests: problem analysis, code and results, then a paper, with independent subagent checks at each stage gate.
Edu Analytic Geometry
wy51ai/edulab
把一道解析几何题解成一个自包含的交互教学网页：左栏题面 + 动态控制台（一个 可变参数滑块驱动实时重算的几何量 + 理论范围/定值指示），中栏 KaTeX 分步解析，右栏 2D Canvas 动态几何画板（椭圆/双曲线/抛物线/圆 + 动直线/动点 + 向量 + 标注 + 画笔涂鸦）。
Proof Run Orchestrator
wanshuiyin/Auto-claude-code-research-in-sleep
Runs a mathematical proof project as a stateful pipeline of run directories: a local attempt first, then a manual GPT Pro handoff package, with an optional DeepSeek audit.
Edu Solid Geometry
wy51ai/edulab
把一道立体几何题解成一个自包含的交互教学网页：左侧 MathJax 分步解析， 右侧 Three.js 可交互 3D 模型（分步高亮 + 镜头切换）。支持三种入口——给定文字题目、 随机出题、上传题目图片识别后解题。覆盖正方体/长方体、棱锥/棱柱、圆柱/圆锥上的线面角、 二面角、异面直线夹角、点到平面距离、体积等题型，统一用"建系+向量法"，并由 sympy 精确 计算驱动（答案、3D…
Math Tools
ananddtyagi/cc-marketplace
Deterministic mathematical computation using SymPy. An agent skill from ananddtyagi/cc-marketplace.
More from tradecatlabs/vibe-coding-cn
All 17 skills in this repoAuto Skill Builder
tradecatlabs/vibe-coding-cn
Meta-skill that turns docs, APIs, code or specs into a reusable skill with references and a quality gate, and refactors skills that are unclear or misfire.
Web3 Smart Contract Grep Arsenal
tradecatlabs/vibe-coding-cn
A master set of ten grep command blocks that surface likely vulnerability classes in Solidity source within the first 30 minutes of auditing a new protocol.
Auto tmux Operator
tradecatlabs/vibe-coding-cn
Operates tmux sessions like an administrator: reads pane output, sends keys, inspects many panes at once, and coordinates multiple AI terminals through a swarm state script, built on oh-my-tmux.
Web3 Bug Bounty AI Tools
tradecatlabs/vibe-coding-cn
A selection guide to AI-driven tools for Web3 bug bounty work, from autonomous web pentesters to smart contract bug finders, with notes on authorization.
Ethereum Smart Contract Vulnerability Analysis
tradecatlabs/vibe-coding-cn
Runs Slither and Mythril against Solidity contracts to find reentrancy, overflow and access-control bugs before mainnet deployment, then triages and reports findings.
Math Computation
tradecatlabs/vibe-coding-cn
Runs reproducible math computations and counterexample searches with SymPy, NumPy and mpmath, logging evidence without presenting results as proofs.
Related
Categories
Questions about Math Research Task Router
What does Math Research Task Router do?
Routes an unclear math research request to exactly one specialist skill, naming the current stage, the reason, the inputs needed, a stop condition and the next step. This skill, written mostly in Chinese, is a router for mathematical research requests when it is unclear whether you need literature search, derivation, computation, proof or formal verification. It identifies the current bottleneck and hands the work to exactly one specialist skill instead of starting the whole research chain.
When should I use Math Research Task Router?
Math Research Task Router fits situations like: an open-ended math question where it is unclear whether to search, derive, compute or prove; mixed input of papers, formulas, conjectures and code that needs a first step; asking which math skill to use next.
How do I install Math Research Task Router in Claude Code?
Run `npx skills add tradecatlabs/vibe-coding-cn --skill vibe-mathing-router -a claude-code`. Or copy the skill folder (research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router in tradecatlabs/vibe-coding-cn) into .claude/skills/vibe-mathing-router in your project. Claude Code loads it when a task matches its description.
How do I install Math Research Task Router in Codex?
Run `npx skills add tradecatlabs/vibe-coding-cn --skill vibe-mathing-router -a codex`. Or copy the skill folder (research/vibe-mathing-cn-public/.codex/skills/vibe-mathing-router in tradecatlabs/vibe-coding-cn) into .agents/skills/vibe-mathing-router in your project. Codex loads it when a task matches its description.
Can I use Math Research Task Router in Cursor, Gemini CLI or GitHub Copilot?
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add tradecatlabs/vibe-coding-cn --skill vibe-mathing-router -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/vibe-mathing-router, .gemini/skills/vibe-mathing-router, .github/skills/vibe-mathing-router and .opencode/skills/vibe-mathing-router in your project.
What does Math Research Task Router need to run?
Going by SKILL.md and its folder, Math Research Task Router needs the command-line tools its instructions call (python3).
Does Math Research Task Router access the network?
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Is Math Research Task Router safe to install?
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
What licence does Math Research Task Router use?
Math Research Task Router is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
How many tokens does Math Research Task Router use?
About 407 tokens (SKILL.md is roughly 1.6k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 161 tokens, read only when the agent opens those files.
What are the alternatives to Math Research Task Router?
Skills that share tags, products or a category with Math Research Task Router: Sympy (zLanqing/codex-claude-academic-skills, 4.7k stars), Math Modeling Competition Workflow (XiaoMaColtAI/math-modeling-skill, 1.9k stars), Edu Analytic Geometry (wy51ai/edulab, 1.4k stars) and Proof Run Orchestrator (wanshuiyin/Auto-claude-code-research-in-sleep, 17k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Math Research Task Router?
tradecatlabs (a GitHub user) maintains it in tradecatlabs/vibe-coding-cn, which has 17,386 GitHub stars. The repository holds 17 skills in this directory. The repository was last updated on October 10, 2026.
Source: tradecatlabs/vibe-coding-cn on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.