Agent skill · Security

evomath-tao

Use this skill whenever the user submits a non-trivial mathematical claim that needs a rigorous proof or audit. Trigger on IMO/Putnam/USAMO/Olympiad-style problems, ML/AI theoretical statements, research conjectures, suspected-false claims, multi-step proofs the user already failed on, proof drafts with possible hidden assumptions, or any request containing 'prove rigorously', 'verify this', 'is this true', 'find the gap', 'audit my proof', 'find a counterexample', or 'use EvoMath' that targets a mathematical claim. Activate also when the problem requires more than three reasoning steps. Do NO

BioTender-maxgithub.com/BioTender-maxGitHub ↗
claude-codecan modify filesNOASSERTION
Install
npx skills add BioTender-max/awesome-bio-agent-skills --skill evomath-tao --agent claude-code

Same command for any agent — swap --agent for codex, cursor, copilot.

Facts
Files in the skill folder: 1
SKILL.md size: 15 KB
Bundled scripts: none
Version: 1.0.0
Declared author: EvoScientist
Allowed tools: write_fileedit_fileread_filethink_toolexecute
Path: skills/evoskills/evomath-tao/SKILL.md
Open the folder on GitHub →
Where it comes from
Stars: 135
Language: Python

Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.

From the SKILL.md

# EvoMath (Tao-style) EvoMath is a lightweight proof workflow for contest-style mathematical reasoning. Its job is to produce a rigorous proof, a verified counterexample, a useful partial result, or a clear handoff. Keep the process small; do not run a heavy audit pipeline by default. ## Methodology Anchor — Terence Tao's Research-Math Practice This skill operationalizes the way Terence Tao approaches research mathematics: 1. **Compute small cases first** (Kepler before Newton) — build intuition from data before reaching for theory. 2. **Try the standard toolbox broadly before going deep** — most hard problems crack to a standard technique; the few that don't only reveal which after several have failed. 3. **Hold rigor and intuition together** (post-rigorous mathematics) — trust intuition, but verify every step. "It feels right" is a hypothesis, not a proof. 4. **Atomize when stuck** — decompose into independently checkable sub-claims. A clean map of proved / conjectured / open beats a polished but shaky narrative. 5. **Stay honest about what isn't proved** — distinguish PROVED / VERIFIED_NUMERICALLY / CONJECTURED / HANDED_OFF. When blocked, name the precise gap. 6. **Distill each

What's inside
Steps it walks through
  1. Methodology Anchor — Terence Tao's Research-Math Practice
  2. Operating Rules
  3. Fast Exit
  4. Execution Protocol (TodoWrite + Validation)
  5. 1. Create the 5-step todo list
  6. 2. Per-step discipline
  7. 3. PROVED gate
  8. 4. Deep Reflection Triggers
  9. 5. Fallback when filesystem is unavailable
  10. Workflow
  11. 1. Plan Briefly
  12. 2. Try Candidates
  13. 3. Assemble
  14. 4. Audit
Commands it runs
python skills/evomath-tao/scripts/evomath_workspace.py init --dir .evomath/current
python skills/evomath-tao/scripts/evomath_workspace.py validate-phase <N> --dir .evomath/current
python skills/evomath-tao/scripts/evomath_workspace.py validate-proved --dir .evomath/current
More from awesome-bio-agent-skills
All skills →
bio-toolsBiology research tools reference. Always available inside agent containers.AI & Agentssec-reportSEC (size-exclusion chromatography) analysis with peak detection, oligomer classification, and…Code Review & Qualitybio-methylation-callingExtract methylation calls from Bismark BAM files using bismark_methylation_extractor. Generates…Data & Analyticsbio-small-rna-seq-mirdeep2-analysisDiscover novel miRNAs and quantify known miRNAs using miRDeep2 de novo prediction from small…Data & Analyticsreport-templatePublication-quality PDF report generation using Typst templates. Produces professional scientific…Code Review & Qualitybio-variant-callingCall SNPs and indels from aligned reads using bcftools mpileup and call. Use when detecting…Other
About this skill
What does the evomath-tao skill do?

Use this skill whenever the user submits a non-trivial mathematical claim that needs a rigorous proof or audit. Trigger on IMO/Putnam/USAMO/Olympiad-style problems, ML/AI theoretical statements, research conjectures, suspected-false claims, multi-step proofs the user already failed on, proof drafts with possible hidden assumptions, or any request containing 'prove rigorously', 'verify this', 'is this true', 'find the gap', 'audit my proof', 'find a counterexample', or 'use EvoMath' that targets a mathematical claim. Activate also when the problem requires more than three reasoning steps. Do NO

How do I install it?

Run `npx skills add BioTender-max/awesome-bio-agent-skills --skill evomath-tao --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.

Where does this skill come from?

From BioTender-max/awesome-bio-agent-skills, a repository with 135 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.

Is a popular skill a good skill?

Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.

Keep going
All skills →
The full catalog, by category and by tool.
Open Source Radar →
The repositories these skills come from, watched daily.
The people behind them →
Makers and builders across the ecosystem.