Sympy
zLanqing/codex-claude-academic-skills
A skill your agent uses when working with symbolic mathematics in Python.
Writes and audits natural-language math proofs as checkable packages, with explicit assumptions, proof obligations and counterexample hunting, refuting or repairing weak claims.
SKILL.md written in Chinese; this summary is our English description.
Install Rigorous Math Proof
$ npx skills add tradecatlabs/vibe-coding-cn --skill math-proof -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install tradecatlabs/vibe-coding-cn math-proof --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/math-proof .claude/skills/math-proof && 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 "math-proof" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/math-proof into .claude/skills/math-proof/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-proof", 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/math-proofType 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 math-proof -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install tradecatlabs/vibe-coding-cn math-proof --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/math-proof .agents/skills/math-proof && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "math-proof" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/math-proof into .agents/skills/math-proof/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-proof", 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 math-proof -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install tradecatlabs/vibe-coding-cn math-proof --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/math-proof .cursor/skills/math-proof && 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 "math-proof" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/math-proof into .cursor/skills/math-proof/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-proof", 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/math-proof--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 math-proof -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install tradecatlabs/vibe-coding-cn math-proof --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/math-proof .gemini/skills/math-proof && 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 "math-proof" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/math-proof into .gemini/skills/math-proof/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-proof", 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 math-proofInstalls 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 math-proof -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/math-proof .github/skills/math-proof && 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 "math-proof" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/math-proof into .github/skills/math-proof/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-proof", 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 math-proof -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 math-proof --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/math-proof .opencode/skills/math-proof && 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 "math-proof" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/math-proof into .opencode/skills/math-proof/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-proof", 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
math-proof- GitHub stars
- 17k
- Token cost
- ~571 tokens
- SKILL.md length
- 115 words
- Files
- 6 (incl. references)
- Skills in repo
- 17
- Repo updated
- First seen
- Licence
- MIT
At a glance
Writes and audits natural-language math proofs as checkable packages, with explicit assumptions, proof obligations and counterexample hunting, refuting or repairing weak claims.
- Proving or completing the proof of a theorem, lemma or proposition
- SKILL.md covers Position in the Method Map, When to Use This Skill, Not For / Boundaries and Quick Reference, plus 3 more sections
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
- Reviewing a draft proof for hidden gaps such as steps justified by obviously
What it does
This skill, written mostly in Chinese, produces auditable proof packages for mathematical statements and reviews existing drafts. When a claim is false or its conditions are insufficient, it prefers refuting or repairing the claim over writing an attractive but wrong proof. It applies when you ask to prove, complete or check a statement, when a draft leans on words like obviously or standard argument, when a large result must be split into lemmas, proof obligations and a dependency graph, and when counterexamples should be sought from boundary values, degenerate cases or quantifier order.
Each result carries a claim with exact quantifier order, a status (provable as stated, repaired, refuted or blocked) and its assumptions, including hidden ones. Strict boundaries apply: a natural-language proof can reach only a drafted or human-reviewed label, never kernel-checked, which comes only from a proof assistant through the `math-formalization` skill. Assumptions, domains and quantifiers are never silently changed, cited theorems need a name, a source and a check that their premises hold, and a proof graph with duplicate IDs, unknown dependencies, cycles or unclosed nodes must fail rather than continue with a warning.
A refuted sub-lemma only rejects that proof route, not the original claim, unless the counterexample also satisfies the claim's negation. Four worked examples cover a false inequality, a missing compactness argument, a full draft and a failed route lemma. Reference files hold a source map and pressure tests.
When your agent uses it
- Proving or completing the proof of a theorem, lemma or proposition
- Reviewing a draft proof for hidden gaps such as steps justified by obviously
- Splitting a large result into lemmas with a dependency graph
- Searching for counterexamples before investing in a proof
Example prompts
- “Prove this inequality for all positive reals, and check boundary cases for a counterexample first.”
- “Review my proof draft and flag every step that quietly assumes compactness.”
- “Break this theorem into lemmas and show the dependency graph of the proof obligations.”
- “Decide whether this statement must be weakened to be provable.”
What it can do on your machine
Read from SKILL.md and the folder at commit 81fc7ae. 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
No scripts in the folder and no shell commands in SKILL.md.
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
Rigorous Math Proof loads about 571 tokens when it runs, and up to ~1.3k if it reads all its reference files. Until then it costs about 26 tokens; SKILL.md has 115 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 81fc7ae, republished under its MIT licence (© tradecatlabs). 115 words, ~571 tokens.
Download SKILL.mdSave it as
.claude/skills/math-proof/SKILL.md (or your agent's skills folder). This skill also uses 5 other files; get the full folder from GitHub.- name
- math-proof
- description
- 严格自然语言数学证明。用于证明或审查 theorem/lemma/proposition、补齐证明草稿、构建证明义务与依赖图、寻找反例、检查量词/常数/边界情况，或判断命题是否必须削弱。
Math Proof
产出可审计的证明包；命题不成立或条件不足时，优先反驳或修正，不制造漂亮假证明。
Position in the Method Map
本 skill 位于“演绎验证 / 定理证明”的 proof-engineering 阶段，前置是 FORMAL-METHODS-MAP.md 所定义的规格与语义边界。证明草稿、引理图和自然语言审查不会自动等同于 Lean kernel check；需要形式化时交给 math-formalization，需要有限反例或 SMT 路径时交给 math-computation。
When to Use This Skill
- 用户要求证明、补全或检查一个数学命题。
- 当前证明含“显然”“类似”“标准论证”等可能隐藏缺口的跳步。
- 需要将大结论拆成引理、证明义务和依赖图。
- 需要从边界值、退化情形或量词顺序寻找反例。
Not For / Boundaries
- 候选库条目必须先形成精确用户请求或 active ProblemContract；来源状态、目录题面或 candidate formal file 不能触发研究证明或 Result 晋升。
- 自然语言证明只能达到
proof-drafted或经真实人工审查后的human-reviewed。 kernel-checked只由math-formalization的真实 proof assistant 成功证据产生。- 不静默强化假设、缩小定义域或改变结论量词。
- 引用标准定理时必须说明名称、版本/来源和为何满足前提。
- 证明义务图出现重复 ID、未知依赖、循环或未闭合节点时必须 fail-closed，不能 warning 后继续。
- 子引理被反驳只否定当前证明路线；除非反例直接满足原命题的否定，不能把原命题标记
refuted。
Quick Reference
Claim：精确陈述与量词顺序。
Status：provable-as-stated / repaired / refuted / blocked。
Assumptions：显式、隐藏和最小必要条件。
Proof obligations：每个非平凡蕴含一个义务。
Dependency map：结论 -> 引理 -> 外部定理 -> 假设。
Graph gate：节点 ID 唯一、依赖存在、无环、所有终点可追溯到 Claim。
Attack pass：边界、退化、极端尺度、量词交换、等号条件。
Proof：编号步骤，每步绑定义务或已验证结果。
Open gaps：任何未闭合项都会阻止完成声明。
Route status：open / blocked / refuted / closed，与 Claim status 分开记录。Examples
Example 1：命题为假
- 输入：一个全称不等式。
- 动作：先检查边界和小规模反例，再决定证明策略。
- 验收：找到反例后停止写证明，输出最小反例和可能修正版。
Example 2：缺少紧致性
- 输入：证明草稿在极值存在性处跳步。
- 动作：隔离存在性义务，核查连续性、闭性和有界性。
- 验收：条件不足时状态为 repaired/blocked，不写“显然存在”。
Example 3：完整证明草稿
- 输入：陈述、假设与若干已知引理。
- 动作：建立依赖图，逐项闭合证明义务并做反例攻击。
- 验收：statement 与实际证明完全一致，仍标记
proof-drafted而非 kernel-checked。
Example 4：路线引理为假
- 输入：某条证明路线依赖一个可被反例推翻的辅助引理。
- 动作：将该 route 标记 refuted，检查反例是否也反驳原 Claim，并保留其他独立路线。
- 验收：没有原命题反例时，Claim 仍为 blocked/open，而不是 refuted。
References
references/source-map.md：证明、审稿、proof DAG 与批判性思考来源映射。references/pressure-tests.md：错误命题、DAG 完整性、路线状态与隐藏缺口压力场景。
Maintenance
- Sources：
annals-of-mathematics-skills、kdense-scientific-skills、proofflow、leanprover-skills；上游图与 skill 只作方法/反例来源，不代表本项目已安装或验证。 - Last updated：2026-08-26。
- Verification：项目结构校验；数学正确性需要人工或 proof assistant 证据。
© 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/math-proof 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 81fc7ae
Compare with similar skills
Rigorous Math Proof 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 |
|---|---|---|---|---|---|---|
| Rigorous Math Proof this skilltradecatlabs/vibe-coding-cn | 17k | — | ~571 | Automated safety check: Pass | MIT | |
| SympyzLanqing/codex-claude-academic-skills | 4.6k | 16 repos | ~3.4k | Automated safety check: Pass | MIT | |
| Edu Analytic Geometrywy51ai/edulab | 1.4k | 1 repos | ~1.6k | Automated safety check: Pass | Apache-2.0 | |
| Edu Solid Geometrywy51ai/edulab | 1.4k | 1 repos | ~1.1k | Automated safety check: Pass | Apache-2.0 | |
| Math Modeling Competition WorkflowXiaoMaColtAI/math-modeling-skill | 1.9k | — | ~1.2k | Automated safety check: Pass | None | |
| Math Toolsananddtyagi/cc-marketplace | 687 | 2 repos | ~1.3k | Automated safety check: Pass | None |
Similar skills
Edu Analytic Geometry
wy51ai/edulab
把一道解析几何题解成一个自包含的交互教学网页：左栏题面 + 动态控制台（一个 可变参数滑块驱动实时重算的几何量 + 理论范围/定值指示），中栏 KaTeX 分步解析，右栏 2D Canvas 动态几何画板（椭圆/双曲线/抛物线/圆 + 动直线/动点 + 向量 + 标注 + 画笔涂鸦）。
Edu Solid Geometry
wy51ai/edulab
把一道立体几何题解成一个自包含的交互教学网页：左侧 MathJax 分步解析， 右侧 Three.js 可交互 3D 模型（分步高亮 + 镜头切换）。支持三种入口——给定文字题目、 随机出题、上传题目图片识别后解题。覆盖正方体/长方体、棱锥/棱柱、圆柱/圆锥上的线面角、 二面角、异面直线夹角、点到平面距离、体积等题型，统一用"建系+向量法"，并由 sympy 精确 计算驱动（答案、3D…
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.
Math Tools
ananddtyagi/cc-marketplace
Deterministic mathematical computation using SymPy. An agent skill from ananddtyagi/cc-marketplace.
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.
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 Rigorous Math Proof
What does Rigorous Math Proof do?
Writes and audits natural-language math proofs as checkable packages, with explicit assumptions, proof obligations and counterexample hunting, refuting or repairing weak claims. This skill, written mostly in Chinese, produces auditable proof packages for mathematical statements and reviews existing drafts. When a claim is false or its conditions are insufficient, it prefers refuting or repairing the claim over writing an attractive but wrong proof.
When should I use Rigorous Math Proof?
Rigorous Math Proof fits situations like: proving or completing the proof of a theorem, lemma or proposition; reviewing a draft proof for hidden gaps such as steps justified by obviously; splitting a large result into lemmas with a dependency graph; searching for counterexamples before investing in a proof.
How do I install Rigorous Math Proof in Claude Code?
Run `npx skills add tradecatlabs/vibe-coding-cn --skill math-proof -a claude-code`. Or copy the skill folder (research/vibe-mathing-cn-public/.codex/skills/math-proof in tradecatlabs/vibe-coding-cn) into .claude/skills/math-proof in your project. Claude Code loads it when a task matches its description.
How do I install Rigorous Math Proof in Codex?
Run `npx skills add tradecatlabs/vibe-coding-cn --skill math-proof -a codex`. Or copy the skill folder (research/vibe-mathing-cn-public/.codex/skills/math-proof in tradecatlabs/vibe-coding-cn) into .agents/skills/math-proof in your project. Codex loads it when a task matches its description.
Can I use Rigorous Math Proof 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 math-proof -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/math-proof, .gemini/skills/math-proof, .github/skills/math-proof and .opencode/skills/math-proof in your project.
What does Rigorous Math Proof need to run?
SKILL.md names no scripts, command-line tools or credentials: Rigorous Math Proof is instructions for the agent only.
Does Rigorous Math Proof 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 Rigorous Math Proof 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 Rigorous Math Proof use?
Rigorous Math Proof 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 Rigorous Math Proof use?
About 571 tokens (SKILL.md is roughly 2.3k 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 772 tokens, read only when the agent opens those files.
What are the alternatives to Rigorous Math Proof?
Skills that share tags, products or a category with Rigorous Math Proof: Sympy (zLanqing/codex-claude-academic-skills, 4.6k stars), Edu Analytic Geometry (wy51ai/edulab, 1.4k stars), Edu Solid Geometry (wy51ai/edulab, 1.4k stars) and Math Modeling Competition Workflow (XiaoMaColtAI/math-modeling-skill, 1.9k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Rigorous Math Proof?
tradecatlabs (a GitHub user) maintains it in tradecatlabs/vibe-coding-cn, which has 17,236 GitHub stars. The repository holds 17 skills in this directory. The repository was last updated on October 8, 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.