Agent skill

Math Discovery Evidence Search

by tradecatlabs in tradecatlabs/vibe-coding-cn

Turns a vague math interest into a bounded, searchable problem and builds a source-traced evidence graph, with novelty checks and conjectures drawn from evidence gaps.

MITAuto-check passedResearch & Science

SKILL.md written in Chinese; this summary is our English description.

Install Math Discovery Evidence Search

skills CLI

$ npx skills add tradecatlabs/vibe-coding-cn --skill math-discovery -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI

$ gh skill install tradecatlabs/vibe-coding-cn math-discovery --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy

$ 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-discovery .claude/skills/math-discovery && rm -rf skills-src

Use ~/.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/

Paste into Claude Code

Install the "math-discovery" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/math-discovery into .claude/skills/math-discovery/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-discovery", 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

$skill-installer install https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/math-discovery

Type 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.

skills CLI

$ npx skills add tradecatlabs/vibe-coding-cn --skill math-discovery -a codex

Project install goes to .agents/skills/; add -g for ~/.codex/skills/.

GitHub CLI

$ gh skill install tradecatlabs/vibe-coding-cn math-discovery --agent codex

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ 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-discovery .agents/skills/math-discovery && rm -rf skills-src

Use ~/.agents/skills/ instead of .agents/skills for a personal install.

Codex skills documentation · loads skills from .agents/skills/

Paste into Codex

Install the "math-discovery" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/math-discovery into .agents/skills/math-discovery/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-discovery", 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.

skills CLI

$ npx skills add tradecatlabs/vibe-coding-cn --skill math-discovery -a cursor

Project install goes to .agents/skills/; add -g for ~/.cursor/skills/.

GitHub CLI

$ gh skill install tradecatlabs/vibe-coding-cn math-discovery --agent cursor

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ 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-discovery .cursor/skills/math-discovery && rm -rf skills-src

Use ~/.cursor/skills/ instead of .cursor/skills for a personal install.

Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/

Paste into Cursor

Install the "math-discovery" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/math-discovery into .cursor/skills/math-discovery/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-discovery", 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

$ gemini skills install https://github.com/tradecatlabs/vibe-coding-cn.git --path research/vibe-mathing-cn-public/.codex/skills/math-discovery

--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.

skills CLI

$ npx skills add tradecatlabs/vibe-coding-cn --skill math-discovery -a gemini-cli

Project install goes to .agents/skills/; add -g for ~/.gemini/skills/.

GitHub CLI

$ gh skill install tradecatlabs/vibe-coding-cn math-discovery --agent gemini-cli

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ 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-discovery .gemini/skills/math-discovery && rm -rf skills-src

Use ~/.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/

Paste into Gemini CLI

Install the "math-discovery" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/math-discovery into .gemini/skills/math-discovery/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-discovery", 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.

GitHub CLI

$ gh skill install tradecatlabs/vibe-coding-cn math-discovery

Installs 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).

skills CLI

$ npx skills add tradecatlabs/vibe-coding-cn --skill math-discovery -a github-copilot

Project install goes to .agents/skills/; add -g for ~/.copilot/skills/.

Manual copy

$ 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-discovery .github/skills/math-discovery && rm -rf skills-src

Use ~/.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/

Paste into GitHub Copilot

Install the "math-discovery" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/math-discovery into .github/skills/math-discovery/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-discovery", 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.

skills CLI

$ npx skills add tradecatlabs/vibe-coding-cn --skill math-discovery -a opencode

OpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.

GitHub CLI

$ gh skill install tradecatlabs/vibe-coding-cn math-discovery --agent opencode

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ 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-discovery .opencode/skills/math-discovery && rm -rf skills-src

Use ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.

OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/

Paste into OpenCode

Install the "math-discovery" agent skill from https://github.com/tradecatlabs/vibe-coding-cn/tree/develop/research/vibe-mathing-cn-public/.codex/skills/math-discovery into .opencode/skills/math-discovery/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-discovery", 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-discovery
GitHub stars: 17k
Token cost: ~554 tokens
SKILL.md length: 102 words
Files: 6 (incl. references)
Skills in repo: 17
Repo updated: Oct 9, 2026
First seen: Oct 7, 2026
Licence: MIT

At a glance

Turns a vague math interest into a bounded, searchable problem and builds a source-traced evidence graph, with novelty checks and conjectures drawn from evidence gaps.

Looking up the definitions, theorems or prior work around a math problem
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
Checking whether a conjecture or integer sequence is already known

What it does

This Chinese-language skill sits before formal tools such as Lean, SMT, model checking or abstract interpretation: it freezes the object, domain, quantifiers, sources and acceptable conclusions so a problem can be stated precisely. It looks up definitions, theorems and proof techniques, builds keyword, alias and subject-class lists, searches arXiv, Semantic Scholar, OpenAlex and Crossref, and keeps a source ledger and evidence graph.

Boundaries are strict: not finding a result does not mean nobody studied it, abstracts cannot replace reading theorem statements and proofs, and blogs or model summaries are never original evidence. Candidate conjectures are not promoted to results without proof or computation. By default only admitted problems from the local library are queried, and the candidate collection is used on request, with source, licence and admission status kept. Search tries project resources and MCP first, then SearXNG, then the general web, and switches provider on rate limits instead of retrying forever.

Worked examples cover the lineage of variants of the Szemerédi regularity lemma, checking a new integer sequence against OEIS without treating a match as a theorem, and shortlisting open problems for graph-theory computation. Two reference files cover the research source map and pressure tests for misuse of abstracts.

When your agent uses it

Looking up the definitions, theorems or prior work around a math problem
Checking whether a conjecture or integer sequence is already known
Building a source ledger and evidence graph before attempting a proof
Reading papers while separating authors' claims from proof dependencies

Example prompts

“Find the main variants of the Szemerédi regularity lemma and cite where each theorem appears.”
“Check whether this integer sequence is already known and tell me what kind of match it is.”
“From the admitted problem library, shortlist open problems suited to graph-theory computation.”

Requirements

Search access through project resources, MCP or SearXNG
The local problem library query script

What it can do on your machine

Read from SKILL.md and the folder at commit 0a7fdf4. 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

Math Discovery Evidence Search loads about 554 tokens when it runs, and up to ~1k if it reads all its reference files. Until then it costs about 27 tokens; SKILL.md has 102 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it: ~27
When it runs · the whole SKILL.md, loaded when a task matches: ~554
With references · SKILL.md plus every file in references/, read only if the agent opens them: ~1k

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 0a7fdf4, republished under its MIT licence (© tradecatlabs). 102 words, ~554 tokens.

Download SKILL.mdSave it as .claude/skills/math-discovery/SKILL.md (or your agent's skills folder). This skill also uses 5 other files; get the full folder from GitHub.

name: math-discovery
description: 数学问题发现与证据检索。用于界定研究问题、查定义/定理谱系、检索 arXiv/Scholar/OpenAlex/Crossref、建立来源账本、证据图、查新或从证据缺口生成可证伪猜想。

Math Discovery

把模糊兴趣变成可界定、可检索、可证伪的数学问题，并产出来源可追溯的证据图。

Position in the Method Map

本 skill 负责方法地图第一层的“规格与语义”前置：在选择 Lean、SMT、model checking 或 abstract interpretation 之前，先冻结对象、定义域、量词、来源和可接受结论。对应的机器边界是 ProblemContract；地图总览见 FORMAL-METHODS-MAP.md。

When to Use This Skill

需要查询某个定义、定理、证明技术或问题的前人工作。
需要从本地 admitted/candidate 问题语料发现研究方向，并判断来源成熟度或准入缺口。
需要建立关键词、别名、MSC/领域分类和检索式。
需要判断“是否已有类似结果”，或从冲突/空白形成候选猜想。
需要阅读论文并区分作者原始主张、证明依赖和当前综合判断。

Not For / Boundaries

“没搜到”不等于“从未有人研究”。
搜索摘要不能替代读取定理陈述与证明正文。
不把博客、搜索摘要或模型总结当作原始证据。
不在没有证明/计算证据时把候选猜想提升为结果。
CandidateObservation 是来源发现材料，research_eligible=false；不得直接创建 Attempt，也不得把来源的 answered/resolved/solved 当作数学 Result。
默认只查询 admitted；只有用户明确需要扩展发现面时才使用 --collection candidates|all，并在输出中保留 collection、来源和许可边界。

Quick Reference

text

1. 固定对象、领域、问题和非目标。
2. 先查 `query_problem_library.py --collection admitted`；需要扩面时再显式查 candidates。
3. 建立术语：正式名、别名、旧名、符号、MSC、相邻领域术语。
4. 冻结检索式、来源、日期、语言和停止条件。
5. 优先原始论文、正式出版物、arXiv 原文和官方数据库记录。
6. 为每个来源记录稳定 ID、URL/DOI/arXiv ID、版本、raw locator 和证据位置。
7. 将关系标为 supports / contradicts / limits / extends / unknown；候选身份匹配只进入 review queue。
8. 输出已知事实、冲突、空白、候选猜想和下一步取证。

默认 provider 顺序：项目资源/MCP → SearXNG arxiv,semantic scholar,openalex,crossref →通用 Web。429/CAPTCHA 时记录失败并切换 provider；不无限重试。

Examples

Example 1：定理谱系

输入：“找 Szemerédi 正则性引理的主要变体。”
动作：冻结术语与范围，检索原论文和后续正式变体，构建依赖图。
验收：每项结论带稳定来源和定理位置；未读全文项标记未核验。

Example 2：序列查新

输入：一组整数项和生成规则。
动作：先确认规则与索引，再用 OEIS/论文检索，区分序列匹配与定理匹配。
验收：不会因 OEIS 命中直接声称生成机制相同。

Example 3：候选问题库选题

输入：“从新增问题库里找适合图论计算的开放问题。”
动作：显式查询 candidates，保留 source status、许可和 admission 状态；只生成待审 shortlist，不启动计算。
验收：每项均标为 research_eligible=false，唯一下一步是来源/陈述准入或 ProblemContract 冻结。

References

references/source-map.md：研究方法与检索供应链映射。
references/pressure-tests.md：查新与摘要误用压力场景。

Maintenance

Sources：rw-research-skill、wentor-research-plugins、kdense-scientific-skills。
Last updated：2026-08-13。
Verification：供应链检查 + 搜索 provider smoke；外部数据库状态每次使用时重新核验。

Files

SKILL.md and 5 other files (references) in research/vibe-mathing-cn-public/.codex/skills/math-discovery 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 0a7fdf4

Compare with similar skills

Math Discovery Evidence Search 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.

Math Discovery Evidence Search compared with similar skills
Skill	Stars	Used in	Tokens	Auto-check	Licence	Repo updated
Math Discovery Evidence Search this skilltradecatlabs/vibe-coding-cn	17k	—	~554	Automated safety check: Pass	MIT	today
Paper NavigatorAI4Scientist/nano-scientist	128	—	~7.7k	Automated safety check: Notes	None	4 mo ago
Novelty CheckGRIND-Lab-Core/night_owl_research_agent	106	—	~1k	Automated safety check: Pass	None	5 mo ago
Literature Reviewneflibata-feng/MyArxiv-Agent	126	20 repos	~5.9k	Automated safety check: Notes	MIT	today
Paper Research on arXivXiaomiMiMo/MiMo-Code	14k	—	~1.5k	Automated safety check: Pass	MIT	today
Literature Review AgentAr9av/PaperOrchestra	677	1 repos	~5.2k	Automated safety check: Pass	Custom licence	18 days ago

Similar skills

Paper Navigator
AI4Scientist/nano-scientist
Find and read academic papers: disambiguate queries, discover papers (search, citation traversal, recommendations, arXiv monitoring, trending, GitHub search), evaluate (TLDR, citations, code, SOTA)…
128 GitHub stars~7.7k tokensUpdated 4 mo ago
Research & ScienceAuto-check: notes
Novelty Check
GRIND-Lab-Core/night_owl_research_agent
Validates that a research idea is genuinely novel vs. An agent skill from GRIND-Lab-Core/night_owl_research_agent.
106 GitHub stars~1k tokensUpdated 5 mo ago
Research & ScienceAuto-check passed
Literature Review
neflibata-feng/MyArxiv-Agent
Conduct comprehensive, systematic literature reviews using multiple academic databases (PubMed, arXiv, bioRxiv, Semantic Scholar, etc.).
126 GitHub starsUsed in 20 repos~5.9k tokens
Research & ScienceAuto-check: notes
Paper Research on arXiv
XiaomiMiMo/MiMo-Code
Searches arXiv, fetches metadata, generates BibTeX, downloads PDFs and finds citations and related papers using a bundled Python script.
14k GitHub stars~1.5k tokensUpdated today
Research & ScienceAuto-check passed
Literature Review Agent
Ar9av/PaperOrchestra
Step 3 of the PaperOrchestra pipeline (arXiv:2604.05018). An agent skill from Ar9av/PaperOrchestra.
677 GitHub starsUsed in 1 repo~5.2k tokens
Research & ScienceAuto-check passed
PaperSeek Literature Search
MingfengHong/paperseek
Routes literature searches through the PaperSeek launcher, picks suitable scholarly sources, parses JSON output and keeps API keys out of the chat.
200 GitHub stars~1.6k tokensUpdated 4 days ago
Research & ScienceAuto-check passed

More from tradecatlabs/vibe-coding-cn

All 17 skills in this repo

Auto 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.
17k GitHub starsUsed in 1 repo~2.4k tokens
Auto-check passed
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.
17k GitHub starsUsed in 2 repos~3.3k tokens
Auto-check passed
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.
17k GitHub stars~4.7k tokensUpdated today
Auto-check passed
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.
17k GitHub starsUsed in 2 repos~3.9k tokens
Auto-check: warnings
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.
17k GitHub starsUsed in 1 repo~738 tokens
Auto-check passed
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.
17k GitHub stars~881 tokensUpdated today
Auto-check passed

Works with

Questions about Math Discovery Evidence Search

What does Math Discovery Evidence Search do?

Turns a vague math interest into a bounded, searchable problem and builds a source-traced evidence graph, with novelty checks and conjectures drawn from evidence gaps. This Chinese-language skill sits before formal tools such as Lean, SMT, model checking or abstract interpretation: it freezes the object, domain, quantifiers, sources and acceptable conclusions so a problem can be stated precisely. It looks up definitions, theorems and proof techniques, builds keyword, alias and subject-class lists, searches arXiv, Semantic Scholar, OpenAlex and Crossref, and keeps a source ledger and evidence graph.

When should I use Math Discovery Evidence Search?

Math Discovery Evidence Search fits situations like: looking up the definitions, theorems or prior work around a math problem; checking whether a conjecture or integer sequence is already known; building a source ledger and evidence graph before attempting a proof; reading papers while separating authors' claims from proof dependencies.

How do I install Math Discovery Evidence Search in Claude Code?

Run `npx skills add tradecatlabs/vibe-coding-cn --skill math-discovery -a claude-code`. Or copy the skill folder (research/vibe-mathing-cn-public/.codex/skills/math-discovery in tradecatlabs/vibe-coding-cn) into .claude/skills/math-discovery in your project. Claude Code loads it when a task matches its description.

How do I install Math Discovery Evidence Search in Codex?

Run `npx skills add tradecatlabs/vibe-coding-cn --skill math-discovery -a codex`. Or copy the skill folder (research/vibe-mathing-cn-public/.codex/skills/math-discovery in tradecatlabs/vibe-coding-cn) into .agents/skills/math-discovery in your project. Codex loads it when a task matches its description.

Can I use Math Discovery Evidence Search 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-discovery -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-discovery, .gemini/skills/math-discovery, .github/skills/math-discovery and .opencode/skills/math-discovery in your project.

What does Math Discovery Evidence Search need to run?

SKILL.md names no scripts, command-line tools or credentials: Math Discovery Evidence Search is instructions for the agent only. Our summary lists: Search access through project resources, MCP or SearXNG; The local problem library query script.

Does Math Discovery Evidence Search 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 Discovery Evidence Search 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 Discovery Evidence Search use?

Math Discovery Evidence Search 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 Discovery Evidence Search use?

About 554 tokens (SKILL.md is roughly 2.2k 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 458 tokens, read only when the agent opens those files.

What are the alternatives to Math Discovery Evidence Search?

Skills that share tags, products or a category with Math Discovery Evidence Search: Paper Navigator (AI4Scientist/nano-scientist, 128 stars), Novelty Check (GRIND-Lab-Core/night_owl_research_agent, 106 stars), Literature Review (neflibata-feng/MyArxiv-Agent, 126 stars) and Paper Research on arXiv (XiaomiMiMo/MiMo-Code, 14k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Math Discovery Evidence Search?

tradecatlabs (a GitHub user) maintains it in tradecatlabs/vibe-coding-cn, which has 17,300 GitHub stars. The repository holds 17 skills in this directory. The repository was last updated on October 9, 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.

Install Math Discovery Evidence Search

Facts

At a glance

What it does

When your agent uses it

Example prompts

Requirements

What it can do on your machine

Tool permissions

Runs code

Network

Credentials

Context cost

Safety

SKILL.md

Math Discovery

Position in the Method Map

When to Use This Skill

Not For / Boundaries

Quick Reference

Examples

Example 1：定理谱系

Example 2：序列查新

Example 3：候选问题库选题

References

Maintenance

Files

Compare with similar skills

Similar skills

More from tradecatlabs/vibe-coding-cn

Related

Questions about Math Discovery Evidence Search