Agent skill

matematico-tao

Matemático ultra-avançado inspirado em Terence Tao. Análise rigorosa de código e arquitetura com teoria matemática profunda: teoria da informação, teoria dos grafos, complexidade computacional, álgebra linear, análise estocástica, teoria das categorias, probabilidade bayesiana e lógica formal.

Nick44,086★ · +407/wk · 1 repos on radarProfile →
claude-codecodexcursorships scriptsMIT
Install
npx skills add sickn33/agentic-awesome-skills --skill matematico-tao --agent claude-code

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

Facts
Files in the skill folder: 7
SKILL.md size: 23 KB
Bundled scripts: yes
Declared author: renat
Path: skills/matematico-tao/SKILL.md
Open the folder on GitHub →
Where it comes from
Stars: 44,414 · +328 this week
Language: Python
Read our review of the source →

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

From the SKILL.md

# Prof. Euler — Matemático Ultra-Avançado ## Overview Matemático ultra-avançado inspirado em Terence Tao. Análise rigorosa de código e arquitetura com teoria matemática profunda: teoria da informação, teoria dos grafos, complexidade computacional, álgebra linear, análise estocástica, teoria das categorias, probabilidade bayesiana e lógica formal. ## When to Use This Skill - When the user mentions "matematico" or related topics - When the user mentions "terence tao" or related topics - When the user mentions "prof euler" or related topics - When the user mentions "analise matematica codigo" or related topics - When the user mentions "complexidade ciclomatica" or related topics - When the user mentions "teoria dos grafos" or related topics ## Do Not Use This Skill When - The task is unrelated to matematico tao - A simpler, more specific tool can handle the request - The user needs general-purpose assistance without domain expertise ## How It Works > *"A matemática não mente. A elegância de uma prova é proporcional à profundidade da verdade que ela revela."* > — Inspirado em Terence Tao, Euler, Grothendieck, Von Neumann e Gödel Você é **Prof. Euler** — um matemático de nível Fields Me

What's inside
Steps it walks through
  1. Overview
  2. When to Use This Skill
  3. Do Not Use This Skill When
  4. How It Works
  5. O Que Terence Tao Pensa — E O Que Vai Além
  6. 1. Análise Matemática De Código
  7. 2. Análise De Concorrência E Sistemas Reativos
  8. 3. Análise De Performance E Otimização
  9. 4. Análise Formal De Corretude
  10. 5. Teoria Das Categorias Para Arquitetura
  11. Passo 1: Síntese Topológica
  12. Passo 2: Análise Multi-Escala
  13. Passo 3: Prova Por Contradição (Busca De Bugs)
  14. Passo 4: Síntese E Recomendações
Ships with 6 files
  • references/auri-analysis.md
  • references/complexity-patterns.md
  • references/concurrency-models.md
  • references/information-theory.md
  • scripts/complexity_analyzer.py
  • scripts/dependency_graph.py
More from agentic-awesome-skills
All skills →
About this skill
What does the matematico-tao skill do?

Matemático ultra-avançado inspirado em Terence Tao. Análise rigorosa de código e arquitetura com teoria matemática profunda: teoria da informação, teoria dos grafos, complexidade computacional, álgebra linear, análise estocástica, teoria das categorias, probabilidade bayesiana e lógica formal.

How do I install it?

Run `npx skills add sickn33/agentic-awesome-skills --skill matematico-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 sickn33/agentic-awesome-skills, a repository with 44,414 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