Oleafly Review Manuscript
Oleafly/Oleafly
Run a referee-grade review of the manuscript in the open project without changing a single manuscript file.
Formal mathematical reasoning for research papers — derive equations, write proofs, formalize problem settings, select statistical tests, and generate LaTeX math notation.
Install Math Reasoning
$ npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install lingzhi227/agent-research-skills math-reasoning --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/lingzhi227/agent-research-skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/math-reasoning .claude/skills/math-reasoning && 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-reasoning" agent skill from https://github.com/lingzhi227/agent-research-skills/tree/main/skills/math-reasoning into .claude/skills/math-reasoning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-reasoning", 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/lingzhi227/agent-research-skills/tree/main/skills/math-reasoningType 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 lingzhi227/agent-research-skills --skill math-reasoning -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install lingzhi227/agent-research-skills math-reasoning --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/lingzhi227/agent-research-skills.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/math-reasoning .agents/skills/math-reasoning && 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-reasoning" agent skill from https://github.com/lingzhi227/agent-research-skills/tree/main/skills/math-reasoning into .agents/skills/math-reasoning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-reasoning", 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 lingzhi227/agent-research-skills --skill math-reasoning -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install lingzhi227/agent-research-skills math-reasoning --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/lingzhi227/agent-research-skills.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/math-reasoning .cursor/skills/math-reasoning && 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-reasoning" agent skill from https://github.com/lingzhi227/agent-research-skills/tree/main/skills/math-reasoning into .cursor/skills/math-reasoning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-reasoning", 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/lingzhi227/agent-research-skills.git --path skills/math-reasoning--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 lingzhi227/agent-research-skills --skill math-reasoning -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install lingzhi227/agent-research-skills math-reasoning --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/lingzhi227/agent-research-skills.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/math-reasoning .gemini/skills/math-reasoning && 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-reasoning" agent skill from https://github.com/lingzhi227/agent-research-skills/tree/main/skills/math-reasoning into .gemini/skills/math-reasoning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-reasoning", 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 lingzhi227/agent-research-skills math-reasoningInstalls 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 lingzhi227/agent-research-skills --skill math-reasoning -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/lingzhi227/agent-research-skills.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/math-reasoning .github/skills/math-reasoning && 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-reasoning" agent skill from https://github.com/lingzhi227/agent-research-skills/tree/main/skills/math-reasoning into .github/skills/math-reasoning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-reasoning", 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 lingzhi227/agent-research-skills --skill math-reasoning -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install lingzhi227/agent-research-skills math-reasoning --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/lingzhi227/agent-research-skills.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/math-reasoning .opencode/skills/math-reasoning && 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-reasoning" agent skill from https://github.com/lingzhi227/agent-research-skills/tree/main/skills/math-reasoning into .opencode/skills/math-reasoning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "math-reasoning", 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-reasoning- GitHub stars
- 386
- Token cost
- ~639 tokens
- SKILL.md length
- 211 words
- Files
- 3 (incl. references)
- Skills in repo
- 31
- Repo updated
- First seen
- Licence
- None found
At a glance
Formal mathematical reasoning for research papers — derive equations, write proofs, formalize problem settings, select statistical tests, and generate LaTeX math notation.
- The user needs mathematical derivations
- SKILL.md covers Input, Tasks, References and Rules, plus 1 more section
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
- Notation tables
What it does
Math Reasoning is an agent skill from lingzhi227/agent-research-skills. Formal mathematical reasoning for research papers — derive equations, write proofs, formalize problem settings, select statistical tests, and generate LaTeX math notation. Use when the user needs mathematical derivations, theorem proofs, notation tables, or statistical analysis formalization.
Its SKILL.md is about 640 tokens, which your agent loads only when the skill is triggered. The skill folder holds 3 other files, including reference files (for example `references/notation-guide.md` and `references/proof-templates.md`).
It sits in Data & Analytics, covering Statistics and LaTeX. It works with LaTeX. The repository describes itself as: Skills for Claude Code — deep-research: systematic academic literature review.
When your agent uses it
- The user needs mathematical derivations
- Notation tables
- Statistical analysis formalization
Example prompts
- “/math-reasoning”
What it can do on your machine
Read from SKILL.md and the folder at commit 9e6c085. 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 Reasoning loads about 639 tokens when it runs, and up to ~2.4k if it reads all its reference files. Until then it costs about 77 tokens; SKILL.md has 211 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
Without a licence we can't republish the file, so here is its outline and opening line. It has 211 words (~639 tokens).
“Perform rigorous mathematical reasoning and produce publication-quality LaTeX output.”
- name
- math-reasoning
- argument-hint
- task-or-context
Files
SKILL.md and 2 other files (references) in skills/math-reasoning of lingzhi227/agent-research-skills.
- SKILL.md
- references/notation-guide.md
- references/proof-templates.md
Open the folder on GitHubat commit 9e6c085
Compare with similar skills
Math Reasoning 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 Reasoning this skilllingzhi227/agent-research-skills | 386 | — | ~639 | Automated safety check: Pass | None | |
| Oleafly Review ManuscriptOleafly/Oleafly | 209 | — | ~2.3k | Automated safety check: Pass | MIT | |
| Exploratory Data AnalysisOleafly/Oleafly | 209 | 2 repos | ~3.4k | Automated safety check: Notes | MIT | |
| Experimental DesignOleafly/Oleafly | 209 | 3 repos | ~3.5k | Automated safety check: Notes | MIT | |
| Review RevisionM1n-n9/paper-lifecycle | 692 | — | ~2.3k | Automated safety check: Pass | None | |
| Tables And Figuresbrycewang-stanford/Auto-Empirical-Research-Skills | 4.5k | — | ~1.7k | Automated safety check: Pass | Custom licence |
Similar skills
Exploratory Data Analysis
Oleafly/Oleafly
Perform bounded, local exploratory analysis of explicitly supported scientific files.
Experimental Design
Oleafly/Oleafly
Design experiments and studies BEFORE data is collected — choosing a design, randomizing, blocking, and laying out treatment combinations so results are interpretable.
Review Revision
M1n-n9/paper-lifecycle
Review and revise academic papers with a senior-reviewer workflow.
Tables And Figures
brycewang-stanford/Auto-Empirical-Research-Skills
A skill your agent uses when generating a LaTeX results table, creating a figure for a paper, formatting descriptive statistics, preparing regression output for publication, or producing…
Math Unicode
hashgraph-online/awesome-codex-plugins
A skill your agent uses when a response needs mathematical notation (equations, filters, set-builder notation, statistics, calculus, linear algebra, logic, ratios, drops, counts) and the output goes…
More from lingzhi227/agent-research-skills
All 31 skills in this repoBackward Traceability
lingzhi227/agent-research-skills
Makes each number in a LaTeX paper link back to the code line that produced it, using hypertarget and hyperlink tags and compile-time `\num` formulas.
Statistical Data Analysis
lingzhi227/agent-research-skills
Writes statistical analysis code for experimental data, runs it through a four-round review, and reports effect sizes, p-values and confidence intervals.
Excalidraw Canvas Toolkit
lingzhi227/agent-research-skills
Draws and refines Excalidraw diagrams on a live canvas through MCP tools or a REST API, with screenshots, file import and export, snapshots and Mermaid conversion.
Research Experiment Designer
lingzhi227/agent-research-skills
Plans research experiments in four progressive stages, from a first working implementation through baseline tuning and creative research to ablation studies.
Scientific Figure Generation
lingzhi227/agent-research-skills
Generates publication-quality scientific figures with matplotlib or seaborn through query expansion, a run-and-retry coding loop and a visual check of the rendered PNG.
Research Idea Generation
lingzhi227/agent-research-skills
Generates and iteratively refines research ideas for a given area, checking each one's novelty against Semantic Scholar and arXiv, and scoring it on interestingness, feasibility and novelty.
Related
Works with
Questions about Math Reasoning
What does Math Reasoning do?
Formal mathematical reasoning for research papers — derive equations, write proofs, formalize problem settings, select statistical tests, and generate LaTeX math notation. Math Reasoning is an agent skill from lingzhi227/agent-research-skills. Formal mathematical reasoning for research papers — derive equations, write proofs, formalize problem settings, select statistical tests, and generate LaTeX math notation.
When should I use Math Reasoning?
Math Reasoning fits situations like: the user needs mathematical derivations; notation tables; statistical analysis formalization.
How do I install Math Reasoning in Claude Code?
Run `npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a claude-code`. Or copy the skill folder (skills/math-reasoning in lingzhi227/agent-research-skills) into .claude/skills/math-reasoning in your project. Claude Code loads it when a task matches its description.
How do I install Math Reasoning in Codex?
Run `npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a codex`. Or copy the skill folder (skills/math-reasoning in lingzhi227/agent-research-skills) into .agents/skills/math-reasoning in your project. Codex loads it when a task matches its description.
Can I use Math Reasoning 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 lingzhi227/agent-research-skills --skill math-reasoning -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-reasoning, .gemini/skills/math-reasoning, .github/skills/math-reasoning and .opencode/skills/math-reasoning in your project.
What does Math Reasoning need to run?
SKILL.md names no scripts, command-line tools or credentials: Math Reasoning is instructions for the agent only.
Does Math Reasoning 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 Reasoning 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 Reasoning use?
No licence was found for Math Reasoning or its repository. Without one, default copyright applies: ask the author before reusing or redistributing it.
How many tokens does Math Reasoning use?
About 639 tokens (SKILL.md is roughly 2.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 1.7k tokens, read only when the agent opens those files.
What are the alternatives to Math Reasoning?
Skills that share tags, products or a category with Math Reasoning: Oleafly Review Manuscript (Oleafly/Oleafly, 209 stars), Exploratory Data Analysis (Oleafly/Oleafly, 209 stars), Experimental Design (Oleafly/Oleafly, 209 stars) and Review Revision (M1n-n9/paper-lifecycle, 692 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Math Reasoning?
lingzhi227 (a GitHub user) maintains it in lingzhi227/agent-research-skills, which has 386 GitHub stars. The repository holds 31 skills in this directory. The repository was last updated on February 27, 2026.
Source: lingzhi227/agent-research-skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.