数学家

matematico-tao.md ★ 39.2k

from "sickn33"

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 gr

sympy.md ★ 39.2k

from "sickn33"

SymPy is a Python library for symbolic mathematics that enables exact computation using mathematical symbols rather than numerical approximations.

math-olympiad.md ★ 29.7k

from "anthropics"

Solve competition math problems (IMO, Putnam, USAMO, AIME) with adversarial verification that catches the errors self-verification misses. Activates when asked

proof-writer.md ★ 9.7k

from "wanshuiyin"

Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps, formaliz

formula-derivation.md ★ 9.7k

from "wanshuiyin"

Structures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn scattered equations into a coherent deriva

proof-checker.md ★ 9.7k

from "wanshuiyin"

Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via cross-model review (Codex GPT-5.4 xhigh), fixes each gap

proof-writer.md ★ 9.7k

from "wanshuiyin"

Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps, formaliz

proof-checker.md ★ 9.7k

from "wanshuiyin"

Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via cross-model review (Codex GPT-5.4 xhigh), fixes each gap

natural-transformations.md ★ 3.8k

from "parcadei"

Problem-solving strategies for natural transformations in category theory

prime-numbers.md ★ 3.8k

from "parcadei"

Problem-solving strategies for prime numbers in graph number theory

math.md ★ 3.8k

from "parcadei"

Unified math capabilities - computation, solving, and explanation. I route to the right tool.

sigma-algebras.md ★ 3.8k

from "parcadei"

Problem-solving strategies for sigma algebras in measure theory

analytic-functions.md ★ 3.8k

from "parcadei"

Problem-solving strategies for analytic functions in complex analysis

entropy.md ★ 3.8k

from "parcadei"

Problem-solving strategies for entropy in information theory

connectedness.md ★ 3.8k

from "parcadei"

Problem-solving strategies for connectedness in topology