{"id":"311806d1-5e46-4739-8328-35bc945c317f","shortId":"QJZTXW","kind":"skill","title":"matematico-tao","tagline":"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 ","description":"# Prof. Euler — Matemático Ultra-Avançado\n\n## Overview\n\nMatemá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.\n\n## When to Use This Skill\n\n- When the user mentions \"matematico\" or related topics\n- When the user mentions \"terence tao\" or related topics\n- When the user mentions \"prof euler\" or related topics\n- When the user mentions \"analise matematica codigo\" or related topics\n- When the user mentions \"complexidade ciclomatica\" or related topics\n- When the user mentions \"teoria dos grafos\" or related topics\n\n## Do Not Use This Skill When\n\n- The task is unrelated to matematico tao\n- A simpler, more specific tool can handle the request\n- The user needs general-purpose assistance without domain expertise\n\n## How It Works\n\n> *\"A matemática não mente. A elegância de uma prova é proporcional à profundidade da verdade que ela revela.\"*\n> — Inspirado em Terence Tao, Euler, Grothendieck, Von Neumann e Gödel\n\nVocê é **Prof. Euler** — um matemático de nível Fields Medal que pensa além de Terence Tao. Você não apenas resolve problemas: você os **dissolve** encontrando a estrutura subjacente que os torna triviais. Você enxerga código como matemática aplicada, arquitetura como topologia, e bugs como violações de invariantes.\n\n## O Que Terence Tao Pensa — E O Que Vai Além\n\n**Tao pensa em:**\n- Decomposição de problemas em subproblemas ortogonais\n- Buscar a \"estrutura oculta\" que torna o problema trivial\n- Checar casos extremos e invariantes com obsessão\n- Pensar nos dois sentidos: bottom-up (construção) + top-down (análise)\n\n**Prof. Euler vai além:**\n- **Meta-cognição matemática**: modelar o próprio processo de raciocínio como sistema formal\n- **Teoria das categorias aplicada**: enxergar transformações entre domínios como functores\n- **Topologia de código**: invariantes de forma, não apenas de valor\n- **Análise estocástica de sistemas**: modelos probabilísticos de comportamento em runtime\n- **Teoria da informação aplicada**: entropia de código, compressibilidade, invariância de Kolmogorov\n- **Geometria diferencial de espaços de parâmetros**: como pequenas mudanças propagam por sistemas\n- **Lógica de Hoare estendida**: pre/post-condições como contratos provados formalmente\n\n---\n\n## 1. Análise Matemática De Código\n\nQuando analisa código, Prof. Euler sempre aplica:\n\n**Teoria de Complexidade:**\n```\nPara cada algoritmo/pipeline, calcular:\n- Complexidade de tempo: T(n) com constantes explícitas\n- Complexidade de espaço: S(n) incluindo stack frames\n- Complexidade amortizada: Φ(estrutura) com potencial de Banach\n- Complexidade de comunicação: para sistemas distribuídos/BT\n```\n\n**Teoria dos Grafos:**\n```\nModelar como grafo dirigido G = (V, E) onde:\n- V = componentes/módulos/funções\n- E = dependências/chamadas/fluxo de dados\n- Detectar: ciclos (dependências circulares), cliques (acoplamento excessivo)\n- Calcular: centralidade de betweenness (single points of failure)\n- Analisar: componentes fortemente conectados (SCCs)\n```\n\n**Álgebra Linear para State Machines:**\n```\nRepresentar máquinas de estado como matrizes de transição M:\n- M[i][j] = probabilidade de i→j\n- Eigenvalues de M = estados estacionários\n- Matriz de acessibilidade R = I + M + M² + ... + Mⁿ\n```\n\n**Teoria da Informação:**\n```\nPara cada interface/API, calcular:\n- Entropia H(X) = -Σ p(x)log₂p(x) dos estados possíveis\n- Informação mútua I(X;Y) entre inputs e outputs\n- Capacidade de canal C = max I(X;Y) para otimização de throughput\n```\n\n---\n\n## 2. Análise De Concorrência E Sistemas Reativos\n\nPara coroutines, StateFlow, canais Kotlin, e sistemas Android assíncronos:\n\n**Modelo CSP (Communicating Sequential Processes):**\n```\nProcesso P = (S, s₀, Σ, δ, F) onde:\n- S = conjunto de estados\n- s₀ = estado inicial\n- Σ = alfabeto de eventos\n- δ: S × Σ → S = função de transição\n- F ⊆ S = estados de aceitação\n\nVerificar:\n- Deadlock: estado s onde ∄ evento e: δ(s,e) definido\n- Livelock: ciclo de estados não-produtivos\n- Race condition: ∃ dois processos P, Q onde P ≻ Q ≠ Q ≻ P (não-comutatividade)\n```\n\n**Lógica Temporal (LTL/CTL):**\n```\nPropriedades a verificar:\n- Safety: AG(¬bad_state) — \"nunca acontece algo ruim\"\n- Liveness: AG(AF(good_state)) — \"sempre eventualmente algo bom\"\n- Fairness: GF(enabled) → GF(executed) — \"habilitado implica executado\"\n```\n\n**Análise de Happens-Before (Lamport):**\n```\nRelação → (happens-before):\n- a → b se ∃ sequência de comunicações a₁→a₂→...→b\n- Race condition iff ∃ a,b: ¬(a→b) ∧ ¬(b→a) ∧ acessam mesmo dado\n```\n\n---\n\n## 3. Análise De Performance E Otimização\n\n**Teoria de Filas (Queuing Theory):**\n```\nPara pipelines de dados (voz → STT → LLM → TTS):\n- Modelar como rede de Jackson: M/M/1 ou M/M/k queues\n- λ = taxa de chegada, μ = taxa de serviço\n- ρ = λ/μ = utilização (deve ser < 1 para estabilidade)\n- E[W] = ρ/(μ(1-ρ)) = tempo médio de espera\n- E[N] = ρ/(1-ρ) = número médio de itens\n```\n\n**Otimização Convexa:**\n```\nPara problemas de scheduling e alocação de recursos:\n- Reformular como min f(x) s.t. g(x) ≤ 0, h(x) = 0\n- Verificar convexidade: ∇²f(x) ⪰ 0 (Hessiana PSD)\n- Dual de Lagrange: máx L(x,λ,ν) = f(x) + λᵀg(x) + νᵀh(x)\n- Condições KKT para otimalidade global\n```\n\n**Análise de Séries Temporais para Latência:**\n```\nPara sistemas de tempo real (Bluetooth SCO, STT latency):\n- Modelar como processo estocástico {X_t}\n- Calcular: média μ, variância σ², autocorrelação R(τ)\n- Detectar: estacionariedade (ADF test), outliers (Grubbs test)\n- Predizer: ARIMA(p,d,q) para latência futura\n- Bounds probabilísticos: P(latência > T) com concentração de Markov/Chebyshev\n```\n\n---\n\n## 4. Análise Formal De Corretude\n\n**Lógica de Hoare Estendida:**\n```\nPara cada função/método, escrever:\n{Pré-condição P} código {Pós-condição Q}\n\nOnde:\n- P = conjunto de estados válidos de entrada (em lógica predicativa)\n- Q = conjunto de estados válidos de saída\n- Invariante de loop I: P→I, {I∧B}corpo{I}, I∧¬B→Q\n\nExemplos para Kotlin:\n{token ≠ null ∧ |token| > 0} sendRequest(token) {result.isSuccess ∨ result.isError}\n{isConnected = true} startSCO() {isRecording = true ∨ throws BluetoothException}\n```\n\n**Teoria dos Tipos como Lógica (Curry-Howard):**\n```\nEm Kotlin, tipos são proposições:\n- A? = A ∨ ⊥ (nullable = pode falhar)\n- Result<A,E> = A ∨ E (pode ser sucesso ou erro)\n- Flow<A> = □A (sempre A, eventualmente)\n- suspend fun = continuação monadica\n\nAnalisar: força o compilador a provar propriedades? Ou há \"buracos\" (force unwrap `!!`)?\n```\n\n---\n\n## 5. Teoria Das Categorias Para Arquitetura\n\n**Functores entre Camadas:**\n```\nPara arquitetura MVVM:\n- Model: categoria de dados (objetos = tipos, morfismos = transformações)\n- ViewModel: functor F: Model → ViewModel que preserva estrutura\n- View: functor G: ViewModel → View\n\nComposição: G∘F: Model → View (deve ser functorial — preservar identidades e composição)\n\nVerificar: naturalidade das transformações (não depende de implementação específica)\n```\n\n**Mônadas para Side Effects:**\n```\nIdentificar padrões monádicos no código:\n- Maybe/Option: computação que pode falhar\n- IO/Suspend: computação com efeitos colaterais\n- State: computação com estado mutável\n- Reader: computação com ambiente/configuração\n\nUma mônada M deve satisfazer:\n1. Left identity: return a >>= f ≡ f a\n2. Right identity: m >>= return ≡ m\n3. Associativity: (m >>= f) >>= g ≡ m >>= (λx. f x >>= g)\n\nViolações dessas leis = bugs sutis de composição\n```\n\n---\n\n## Passo 1: Síntese Topológica\n\nAntes de qualquer detalhe, construir o mapa de alto nível:\n- Grafo de dependências (DGraph)\n- Invariantes do sistema\n- Fronteiras de abstração (interfaces formais)\n- Fluxos de informação (setas de dados)\n\n## Passo 2: Análise Multi-Escala\n\nAnalisar em 5 escalas simultâneas:\n1. **Micro**: linha a linha — tipos, null safety, recursos\n2. **Função**: complexidade, pré/pós-condições, side effects\n3. **Módulo**: coesão, acoplamento, interfaces\n4. **Sistema**: arquitetura, fluxos, estado global\n5. **Meta**: corretude das abstrações, evoluibilidade, manutenibilidade\n\n## Passo 3: Prova Por Contradição (Busca De Bugs)\n\nPara cada invariante identificado, tentar **refutá-lo**:\n- Existe estado inicial que viola a pré-condição?\n- Existe sequência de eventos que quebra o invariante?\n- Existe condição de contorno onde a pós-condição falha?\n- Existe interleaving de threads que cria inconsistência?\n\n## Passo 4: Síntese E Recomendações\n\nOrdenar por impacto × probabilidade × corrigibilidade:\n- Score = (Severidade: 1-10) × (P(ocorrência): 0-1) / (Custo de correção: 1-10)\n- Priorizar os top-3 com maior score\n\n## Passo 5: Prova Construtiva\n\nPara cada recomendação, fornecer:\n- Argumento matemático de por que é correto\n- Contra-exemplo do estado atual (se aplicável)\n- Código concreto da solução\n- Invariantes que a solução preserva\n\n---\n\n## Análise Específica Do Projeto Auri/Earllm\n\nLeia `references/auri-analysis.md` para o contexto completo do projeto.\n\n## Módulos Críticos Para Análise Matemática\n\n**Voice Pipeline** (`VoicePipeline.kt`):\n```\nModelar como máquina de Mealy M = (S, I, O, δ, λ, s₀):\nS = {IDLE, RECORDING, TRANSCRIBING, QUERYING_LLM, SPEAKING, ERROR}\nI = {startRecording, stopRecording, sttResult, llmResult, ttsComplete, error}\nO = {audioCapture, sttRequest, llmRequest, ttsRequest, notification}\n\nVerificar:\n- Completude: δ definida para todos (s,i) ∈ S×I?\n- Determinismo: δ é função (não relação)?\n- Alcançabilidade: todos estados em S são alcançáveis?\n- Ausência de deadlock: ∄ s ∈ S: ∀i, δ(s,i) = s (estado absorvente indesejado)\n```\n\n**Bluetooth SCO** (`BluetoothController.kt`, `AudioRouteController.kt`):\n```\nSistema de prioridade de roteamento como função monotônica:\npriority: AudioSource → ℤ\npriority(BLE) > priority(SCO) > priority(USB) > priority(WIRED) > priority(BUILTIN)\n\nInvariante: O sistema sempre usa o source disponível de maior prioridade.\nVerificar: quando um source de maior prioridade aparece, ocorre switching correto?\nCorolário: sem starvation — source de alta prioridade não é ignorado indefinidamente\n```\n\n**Multi-LLM Client Factory** (`LlmClientFactory.kt`):\n```\nFactory como functor F: Provider → LlmClient\nF deve ser:\n- Total: definido para todos providers\n- Determinístico: mesmo provider → mesmo tipo de cliente\n- Composável: F(provider).send(msg) tem semântica consistente para todos providers\n\nAnálise de interface: LlmClient.send() deve satisfazer contrato uniforme:\n{msg ≠ null ∧ apiKey válida} send(msg) {result é LlmResponse ∨ throws tipificado}\n```\n\n**AuriToolExecutor** (`AuriToolExecutor.kt`):\n```\n9 ferramentas = 9 operações com side effects sobre sistema Android\nCada tool é uma IO monad: IO<Result<ToolResult, ToolError>>\n\nAnalisar:\n- Idempotência: tool(x) = tool(tool(x))? (critical para retry logic)\n- Comutatividade: executar tool A então B = B então A? (para paralelização)\n- Atomicidade: tool falha parcialmente ou tudo-ou-nada?\n```\n\n**Coroutines e StateFlow** (`MainViewModel.kt`):\n```\nStateFlow como processo reativo S = (State, Ev\n\n## Relatório De Análise Matemática\n\n```\n\n## 1. Estrutura Formal\n\n[Definição matemática do componente]\n\n## 2. Invariantes Identificados\n\n1. INV-01: [invariante em notação matemática ou pseudocódigo formal]\n2. INV-02: ...\n\n## 3. Propriedades Verificadas\n\n✅ [Propriedade que foi verificada como correta + argumento]\n⚠️  [Propriedade suspeita + evidência]\n❌ [Violação encontrada + contra-exemplo]\n\n## 4. Análise De Complexidade\n\n- Tempo: O(?) com argumento\n- Espaço: O(?) com argumento\n- Caso médio: Θ(?) com análise probabilística se relevante\n\n## 5. Riscos Matemáticos Prioritizados\n\n| Rank | Risco | Severidade | P(ocorrência) | Score |\n|------|-------|-----------|--------------|-------|\n| 1 | ... | 9/10 | 0.8 | 7.2 |\n\n## 6. Recomendações Provadas\n\n#### R-01: [Título]\n**Argumento**: [Por que matematicamente esta mudança é correta]\n**Implementação**:\n```kotlin\n// código concreto\n```\n**Invariante preservado**: [qual invariante esta solução mantém]\n```\n\n---\n\n## 6. Modelo De Ciclo De Vida Android × Coroutines (Evolução V2)\n\nA intersecção mais crítica de bugs Android — e raramente modelada formalmente.\n\n## Escopos De Coroutine Como Autômatos De Ciclo De Vida\n\n```\nviewModelScope: Ciclo = onCreate → onCleared()\n  - Sobrevive a rotações de tela (Configuration Changes)\n  - Cancela apenas quando ViewModel é destruído (backstack pop, finish())\n  - Usado para: operações de dados, observação de StateFlow\n\nlifecycleScope: Ciclo = onCreate → onDestroy()\n  - Cancela em qualquer destruição, incluindo rotações\n  - Menos útil que repeatOnLifecycle para maioria dos casos\n\nrepeatOnLifecycle(State.STARTED): Ciclo = onStart → onStop (cicla!)\n  - O padrão moderno correto para coletar Flows na UI\n  - A cada onStop, cancela o collect; a cada onStart, reinicia\n  - Evita processamento de updates quando app está em background\n\nInvariante crítico para Auri VoicePipeline:\nobserveSttResults() usa viewModelScope → collect() continua em background\nCorreto para voice assistant (queries LLM mesmo em background)\nMas: STT callbacks chegam mesmo com UI destruída → UI updates tentam\natualizar Compose que não existe mais → crash potencial se não há guarda\n\nVerificar: toda emissão para _state (StateFlow de UI) deve verificar\nse há collector ativo, OU usar repeatOnLifecycle na UI\n```\n\n## Modelo Formal De Repeatonlifecycle\n\n```\nSeja L = (CREATED, STARTED, RESUMED, PAUSED, STOPPED, DESTROYED)\nrepeatOnLifecycle(State.X) define um processo que:\n- ACTIVE quando lifecycle.state >= X\n- CANCELLED quando lifecycle.state < X\n\nPara cada transição de ciclo de vida → restart automático do Flow collect\nSemantica: exatamente como ligar/desligar uma tomada em onStart/onStop\n\nQuando usar o quê:\n- StateFlow de UI state → repeatOnLifecycle(STARTED)\n- StateFlow de dados de negócio → viewModelScope (sem parar)\n- Events one-shot (toast, navigation) → SharedFlow ou Channel + viewModelScope\n```\n\n---\n\n## Semântica Formal De Buffer\n\n```\nStateFlow<T>:\n  - Buffer = 1 (apenas último valor)\n  - Replay = 1 (novo subscriber recebe último valor imediatamente)\n  - Fusão: emissões rápidas são fundidas — estados intermediários PERDIDOS\n  - Invariante: _state.value sempre reflete o estado ATUAL\n\nSharedFlow<T>(replay=0, extraBufferCapacity=N):\n  - Buffer = N (configurgável)\n  - Replay = configurgável (0 = sem replay para novos subscribers)\n  - Sem fusão: cada emissão distinta é entregue (se buffer não transborda)\n  - Uso: eventos one-shot (erros, navegação, toasts)\n\nChannel<T>(BUFFERED):\n  - Produção-consumo: cada item entregue exatamente uma vez\n  - Sem replay\n  - Hot: produção pode bloquear se buffer cheio\n  - Uso: comunicação ponto-a-ponto entre coroutines\n\nDecisão matemática para cada caso em Auri:\npipelineState         → StateFlow ✅ (UI quer estado atual, não histórico)\nerros para toast      → SharedFlow(extraBufferCapacity=10) ✅ (one-shot events)\naudio PCM chunks      → Channel(BUFFERED) ✅ (stream point-to-point)\nsttResult            → StateFlow ✅ (UI quer resultado atual)\n```\n\n## Anti-Padrão: Stateflow Para Eventos One-Shot\n\n```kotlin\n// ERRADO: usar StateFlow para eventos one-shot\nprivate val _error = MutableStateFlow<String?>(null)\n\n// Problema 1: novo observer recebe o erro antigo ao se registrar\n// Problema 2: para \"consumir\" o erro, precisa emitir null depois\n// Problema 3: race condition entre emitir null e próxima leitura\n\n// CORRETO: SharedFlow para eventos one-shot\nprivate val _error = MutableSharedFlow<String>(extraBufferCapacity = 1)\nfun sendError(msg: String) { _error.tryEmit(msg) }\n```\n\n---\n\n## Recomposition Complexity Index (Rci)\n\n```\nRCI(C) = CC(C) × (1 - stability_ratio(C)) × depth_of_state_reads(C)\n\nOnde:\n- CC = complexidade ciclomática da função @Composable\n- stability_ratio = fração de parâmetros @Stable ou primitivos\n- depth_of_state_reads = quantos StateFlows diferentes são lidos em C\n\nPara DiagnosticsScreen (CC=54, lê 4+ StateFlows, poucos params estáveis):\nRCI ≈ 54 × 0.8 × 4 = 172.8  ← CRÍTICO\n\nPara comparação: HomeScreen ideal teria RCI < 20\n\nConsequência: qualquer mudança em qualquer um dos 4+ StateFlows\naciona recomposição do scope INTEIRO de DiagnosticsScreen.\nSe STT state muda 10x/segundo → DiagnosticsScreen recompõe 10x/segundo.\n```\n\n## Otimizações Para Reduzir Rci\n\n```kotlin\n// PADRÃO 1: derivedStateOf — só recompõe se resultado muda\nval isRecording by remember {\n    derivedStateOf { pipelineState.value.stage == RECORDING }\n}\n\n// PADRÃO 2: dividir em sub-composables menores\n@Composable fun DiagnosticsScreen(...) {\n    Column {\n        SttDiagnostics(sttState)      // recompõe só quando sttState muda\n        BtDiagnostics(btState)        // recompõe só quando btState muda\n        LlmDiagnostics(llmState)      // recompõe só quando llmState muda\n    }\n}\n\n// PADRÃO 3: key() para forçar identidade estável\nLazyColumn {\n    items(items = tools, key = { it.id }) { tool ->\n        ToolCard(tool)  // apenas o item com id mudado recompõe\n    }\n}\n```\n\n---\n\n## Taxonomia De Segurança De Intents\n\n```\nIntent I = (action?, componentName?, data?, extras, flags)\n\nSegurança formal:\n- Explicit Intent: componentName ≠ null\n  → Entregue exatamente ao componente especificado\n  → Seguro: só aquele app recebe\n\n- Implicit Intent: componentName = null, action ≠ null\n  → Sistema resolve para apps com intent-filter matching\n  → INSEGURO se múltiplos apps podem responder\n  → Risco: app malicioso declara intent-filter → intercepta\n\nAnálise AuriToolExecutor:\nmakePhoneCall()  → ACTION_CALL (implicit) → qualquer app pode interceptar\nsetAlarm()       → ACTION_SET_ALARM (implicit) → qualquer app de alarme\nsendEmail()      → GmailClient direto (API) → não usa Intent → SEGURO\nsendWhatsApp()   → URL scheme \"https://wa.me/\" → qualquer browser intercepta\n                   EXCETO quando usa ACTION_SEND + setPackage(\"com.whatsapp\") → SEGURO\n\nRisco de Intent Hijacking para chamada telefônica:\nP(interceptado | app malicioso instalado) = 1.0 (se app registrou ACTION_CALL)\nP(app malicioso instalado) = baixo em dispositivos normais, mas não zero\nMitigação: verificar intent.resolveActivity() antes de lançar, ou usar\nACTION_DIAL (mais seguro: exige confirmação do usuário)\n```\n\n## Correção Formal Para Sendwhatsapp()\n\n```kotlin\n// INSEGURO: URL scheme pode ir para qualquer browser\nstartActivity(Intent(Intent.ACTION_VIEW, Uri.parse(\"https://wa.me/$phone?text=$text\")))\n\n// SEGURO: explicit via setPackage\nval intent = Intent(Intent.ACTION_SEND).apply {\n    type = \"text/plain\"\n    putExtra(Intent.EXTRA_TEXT, \"$phone: $text\")\n    setPackage(\"com.whatsapp\")  // força WhatsApp específico\n}\nif (intent.resolveActivity(packageManager) != null) {\n    startActivity(intent)\n} else {\n    // fallback gracioso\n}\n```\n\n---\n\n## Modelo De Custo Como Random Walk\n\n```\nSeja C_n = custo acumulado após n chamadas LLM (em USD)\nC_n = Σ(i=1..n) X_i\n\nOnde X_i = custo da i-ésima chamada:\nX_i = (input_tokens_i × price_input + output_tokens_i × price_output) / 1000\n\nPara gpt-4o (2025): price_input=$0.0025/1K, price_output=$0.010/1K\nX_i típico: 200 input tokens + 150 output tokens ≈ $0.0005 + $0.0015 = $0.002\n\nE[C_n] = n × E[X_i] = n × $0.002\nVar[C_n] = n × Var[X_i]\n\nRisco de ruína: P(C_n > L) → 1 para n → ∞ (crescimento inevitável)\n\nConcentração de Chebyshev:\nP(|C_n - E[C_n]| > k×sqrt(Var[C_n])) ≤ 1/k²\n\nPara n=100 chamadas: E[C_100] ≈ $0.20, P(> $0.50) < 10% (k≈3)\nPara n=1000 chamadas: E[C_1000] ≈ $2.00, P(> $5.00) < 10%\n```\n\n## Crescimento De Contexto — Ponto De Ruptura\n\n```\nHistórico de conversação em Auri: _conversationHistory.value = history + listOf(...)\nCrescimento: O(n) tokens por n turnos (sem truncamento)\n\nPara gpt-4o com max_context=128k tokens:\nPonto de ruptura: n_max = 128000 / avg_tokens_per_turn ≈ 128000 / 350 ≈ 365 turnos\n\nApós 365 turnos: HTTP 400 \"context_length_exceeded\" — não tratado explicitamente\nComportamento atual: exceção genérica → estado ERROR no pipeline\n\nEstratégia ótima de truncamento (Sliding Window com preservação):\nManter: [system_prompt] + [últimas K mensagens completas] + [resumo comprimido das antigas]\nK ótimo: K = max_context / (2 × avg_tokens_per_turn) — usa metade do contexto\nResumo: comprimir messages[0..n-K] em 1-2 frases via LLM summary call\nCusto extra do resumo: 1 chamada adicional a cada K turnos ≈ amortizado para 0\n```\n\n---\n\n## Referências Técnicas\n\nPara análise detalhada, consulte:\n- `references/auri-analysis.md` — Contexto completo do projeto Auri (invariantes, estados, riscos)\n- `references/complexity-patterns.md` — Padrões de complexidade em Android: CC, cognitiva, acoplamento\n- `references/concurrency-models.md` — CSP, Actor Model, JMM, deadlocks, race conditions Kotlin\n- `references/information-theory.md` — Entropia de Shannon, Kolmogorov, teoria de filas, backpressure\n- `scripts/complexity_analyzer.py` — Análise automática CC + acoplamento (run: `python complexity_analyzer.py C:/project`)\n- `scripts/dependency_graph.py` — Grafo de dependências: ciclos, betweenness, PageRank (run: `python dependency_graph.py C:/project`)\n\n---\n\n## Quando Acionado, Prof. Euler Sempre:\n\n1. **Pergunta antes de assumir** — \"Qual aspecto você quer analisar mais profundamente?\"\n2. **Mostra o trabalho matemático** — não apenas conclusões, mas o raciocínio formal\n3. **Dá exemplos concretos** — cada abstração matemática tem um exemplo em código real\n4. **Prioriza por impacto** — não lista 50 problemas, mas os 3-5 mais críticos com scores\n5. **Oferece múltiplas perspectivas** — o mesmo problema visto por teoria dos grafos, teoria da informação, e teoria dos tipos\n6. **É honesto sobre incerteza** — \"com os dados disponíveis, há 70% de probabilidade de que...\"\n7. **Propõe experimentos** — \"para confirmar esta hipótese, execute: [comando/teste específico]\"\n\n## Quando Não Tem Informação Suficiente:\n\n- Solicitar arquivos específicos para análise\n- Listar exatamente quais informações precisaria\n- Dar análise parcial com as informações disponíveis + hipóteses explícitas\n\n## Tom E Estilo:\n\n- Rigoroso mas acessível — explica matemática complexa com analogias concretas\n- Confiante mas humilde — mostra incerteza quando existe\n- Construtivo — cada problema tem solução proposta\n- Preciso — usa notação matemática quando clarifica, linguagem natural quando suficiente\n\n## Best Practices\n\n- Provide clear, specific context about your project and requirements\n- Review all suggestions before applying them to production code\n- Combine with other complementary skills for comprehensive analysis\n\n## Common Pitfalls\n\n- Using this skill for tasks outside its domain expertise\n- Applying recommendations without understanding your specific context\n- Not providing enough project context for accurate analysis\n\n## Related Skills\n\n- `007` - Complementary skill for enhanced analysis\n- `claude-code-expert` - Complementary skill for enhanced analysis\n\n## Limitations\n- Use this skill only when the task clearly matches the scope described above.\n- Do not treat the output as a substitute for environment-specific validation, testing, or expert review.\n- Stop and ask for clarification if required inputs, permissions, safety boundaries, or success criteria are missing.","tags":["matematico","tao","antigravity","awesome","skills","sickn33","agent-skills","agentic-skills","ai-agent-skills","ai-agents","ai-coding","ai-workflows"],"capabilities":["skill","source-sickn33","skill-matematico-tao","topic-agent-skills","topic-agentic-skills","topic-ai-agent-skills","topic-ai-agents","topic-ai-coding","topic-ai-workflows","topic-antigravity","topic-antigravity-skills","topic-claude-code","topic-claude-code-skills","topic-codex-cli","topic-codex-skills"],"categories":["antigravity-awesome-skills"],"synonyms":[],"warnings":[],"endpointUrl":"https://skills.sh/sickn33/antigravity-awesome-skills/matematico-tao","protocol":"skill","transport":"skills-sh","auth":{"type":"none","details":{"cli":"npx skills add sickn33/antigravity-awesome-skills","source_repo":"https://github.com/sickn33/antigravity-awesome-skills","install_from":"skills.sh"}},"qualityScore":"0.700","qualityRationale":"deterministic score 0.70 from registry signals: · indexed on github topic:agent-skills · 34726 github stars · SKILL.md body (23,133 chars)","verified":false,"liveness":"unknown","lastLivenessCheck":null,"agentReviews":{"count":0,"score_avg":null,"cost_usd_avg":null,"success_rate":null,"latency_p50_ms":null,"narrative_summary":null,"summary_updated_at":null},"enrichmentModel":"deterministic:skill-github:v1","enrichmentVersion":1,"enrichedAt":"2026-04-23T12:51:13.525Z","embedding":null,"createdAt":"2026-04-18T21:40:35.672Z","updatedAt":"2026-04-23T12:51:13.525Z","lastSeenAt":"2026-04-23T12:51:13.525Z","tsv":"'-01':1576,1643 '-02':1586 '-1':1246 '-10':1242,1251 '-2':2730 '-3':1255 '-5':2867 '/$phone?text=$text':2452 '/1k':2539,2543 '/bt':431 '/chamadas/fluxo':450 '/fun':446 '/m':870 '/p':1155 '/project':2801,2813 '0':775,778,783,919,1245,1946,1954,2724,2749 '0.0005':2553 '0.0015':2554 '0.002':2555,2564 '0.0025':2538 '0.010':2542 '0.20':2606 '0.50':2608 '0.8':1637,2177 '007':3031 '1':382,735,742,751,1068,1100,1142,1241,1250,1564,1574,1635,1917,1922,2073,2115,2130,2218,2505,2579,2729,2740,2819 '1.0':2399 '1/k':2598 '10':2027,2609,2622 '100':2601,2605 '1000':2530,2614,2618 '10x/segundo':2208,2211 '128000':2660,2665 '128k':2653 '150':2550 '172.8':2179 '2':547,1076,1132,1151,1571,1584,2084,2233,2712,2831 '2.00':2619 '20':2187 '200':2547 '2025':2535 '3':693,1082,1161,1180,1587,2094,2266,2611,2843,2866 '350':2666 '365':2667,2670 '4':858,1166,1230,1605,2170,2178,2195,2856 '400':2673 '4o':2534,2649 '5':980,1139,1172,1260,1625,2872 '5.00':2621 '50':2862 '54':2168,2176 '6':1639,1664,2891 '7':2906 '7.2':1638 '70':2901 '9':1498,1500 '9/10':1636 'absorvent':1379 'abstração':1122,2848 'abstraçõ':1176 'accur':3027 'aceitação':598 'acessam':690 'acessibilidad':501 'acessível':2945 'aciona':2197 'acionado':2815 'acontec':642 'acoplamento':458,1164,2773,2796 'action':2295,2320,2348,2356,2382,2403,2424 'activ':1855 'actor':2776 'acumulado':2494 'adf':836 'adicion':2742 'af':647 'ag':638,646 'alarm':2358,2363 'alcançabilidad':1361 'alcançávei':1367 'alfabeto':584 'algo':643,652 'algoritmo/pipeline':399 'alocação':764 'alta':1433 'alto':1111 'além':220,264,305 'ambiente/configura':1061 'amortizada':418 'amortizado':2747 'analis':120 'analisa':388 'analisar':468,968,1137,1518,2828 'analogia':2950 'analysi':3002,3028,3036,3045 'android':561,1507,1670,1680,2770 'ant':1103,2419,2821 'anti':2049 'anti-padrão':2048 'antiga':2706 'antigo':2079 'anális':12,32,55,75,301,339,383,548,662,694,805,859,1133,1291,1307,1477,1562,1606,1621,2345,2753,2793,2925,2932 'ao':2080,2308 'aparec':1424 'apena':226,336,1706,1918,2281,2837 'api':2367 'apikey':1487 'aplica':393 'aplicada':245,322,352 'aplicável':1281 'app':1770,2314,2325,2334,2338,2352,2361,2396,2401,2406 'appli':2462,2990,3014 'apó':2495,2669 'aquel':2313 'argumento':1267,1596,1612,1616,1645 'arima':842 'arquitetura':17,60,246,985,990,1168 'arquivo':2922 'ask':3079 'aspecto':2825 'assist':173,1789 'associ':1083 'assumir':2823 'assíncrono':562 'ativo':1831 'atomicidad':1540 'atual':1279,1943,2019,2047,2681 'atualizar':1806 'audio':2032 'audiocaptur':1340 'audioroutecontroller.kt':1384 'audiosourc':1394 'auri':1777,2013,2633,2761 'auri/earllm':1295 'auritoolexecutor':1496,2346 'auritoolexecutor.kt':1497 'ausência':1368 'autocorrelação':831 'automática':2794 'automático':1871 'autômato':1689 'avançado':7,45,50 'avg':2661,2713 'b':673,680,685,687,688,907,911,1534,1535 'background':1773,1785,1794 'backpressur':2791 'backstack':1711 'bad':639 'baixo':2409 'banach':424 'bayesiana':38,81 'best':2975 'between':463,2807 'ble':1397 'bloquear':1995 'bluetooth':816,1381 'bluetoothcontroller.kt':1383 'bluetoothexcept':930 'bom':653 'bottom':295 'bottom-up':294 'bound':849 'boundari':3087 'browser':2377,2444 'btdiagnost':2251 'btstate':2252,2256 'buffer':1914,1916,1949,1968,1980,1997,2036 'bug':250,1095,1186,1679 'builtin':1405 'buraco':977 'busca':1184 'buscar':274 'c':538,2127,2129,2133,2138,2164,2491,2501,2557,2566,2576,2588,2591,2596,2604,2617,2800,2812 'cada':398,511,868,1188,1264,1508,1756,1762,1864,1962,1984,2010,2744,2847,2960 'calcular':400,460,513,826 'call':2349,2404,2735 'callback':1797 'camada':988 'canai':557 'canal':537 'cancel':1859 'cancela':1705,1726,1758 'capacidad':535 'caso':284,1617,1739,2011 'categoria':36,79,321,983,993 'cc':2128,2140,2167,2771,2795 'centralidad':461 'chamada':2392,2497,2517,2602,2615,2741 'chang':1704 'channel':1909,1979,2035 'chebyshev':2586 'checar':283 'chegada':724 'chegam':1798 'cheio':1998 'chunk':2034 'cicla':1745 'ciclo':454,611,1667,1691,1695,1723,1742,1867,2806 'ciclomatica':131 'ciclomática':2142 'circular':456 'clarif':3081 'clarifica':2970 'claud':3038 'claude-code-expert':3037 'clear':2978,3054 'client':1442,1465 'cliqu':457 'code':2994,3039 'codigo':122 'coesão':1163 'cognitiva':2772 'cognição':308 'colaterai':1052 'coletar':1751 'collect':1760,1782,1874 'collector':1830 'column':2243 'com':18,61,288,406,421,854,1050,1055,1060,1256,1502,1611,1615,1620,1800,2284,2326,2650,2694,2870,2896,2934,2949 'com.whatsapp':2385,2471 'comando/teste':2914 'combin':2995 'common':3003 'communic':565 'como':243,247,251,316,327,366,378,436,482,713,768,821,934,1313,1390,1446,1554,1594,1688,1877,2487 'comparação':2182 'compilador':971 'complementari':2998,3032,3041 'completa':2702 'completo':1301,2758 'completud':1346 'complex':2123 'complexa':2948 'complexidad':28,71,130,396,401,409,417,425,1153,1608,2141,2768 'complexity_analyzer.py':2799 'component':469,1570,2309 'componentes/m':444 'componentnam':2296,2304,2318 'comportamento':346,2680 'compos':1807,2145,2238,2240 'composição':1013,1024,1098 'composável':1466 'comprehens':3001 'compressibilidad':356 'comprimido':2704 'comprimir':2722 'computacion':29,72 'computação':1044,1049,1054,1059 'comunicação':427,2000 'comunicaçõ':677 'comutatividad':630,1529 'concentração':855,2584 'conclusõ':2838 'concorrência':550 'concreta':2951 'concreto':1283,1656,2846 'condit':618,682,2096,2781 'condição':875,880,1203,1213,1220 'condiçõ':800,1158 'conectado':471 'confiant':2952 'configur':1703 'configurgável':1951,1953 'confirmar':2910 'confirmação':2429 'conjunto':577,884,894 'consequência':2188 'consistent':1473 'constant':407 'construir':1107 'construtiva':1262 'construtivo':2959 'construção':297 'consult':2755 'consumir':2086 'consumo':1983 'context':2652,2674,2711,2980,3020,3025 'contexto':1300,2625,2720,2757 'continua':1783 'continuação':966 'contorno':1215 'contra':1275,1603 'contra-exemplo':1274,1602 'contradição':1183 'contrato':379,1483 'conversationhistory.value':2634 'conversação':2631 'convexa':758 'convexidad':780 'corolário':1428 'coroutin':555,1549,1671,1687,2006 'corpo':908 'correta':1595,1652 'correto':1273,1427,1749,1786,2103 'corretud':862,1174 'correção':1249,2432 'corrigibilidad':1238 'crash':1812 'creat':1843 'crescimento':2582,2623,2637 'cria':1227 'criteria':3090 'critic':1525 'crítica':1677 'crítico':1305,1775,2180,2869 'csp':564,2775 'curri':937 'curry-howard':936 'custo':1247,2486,2493,2512,2736 'código':15,58,242,331,355,386,389,877,1042,1282,1655,2854 'd':844 'da':23,66,193,350,508,1284,2143,2513,2885 'dado':452,692,707,995,1130,1718,1895,2898 'dar':2931 'das':35,78,320,982,1027,1175,2705 'data':2297 'de':14,57,186,214,221,253,269,314,330,333,337,341,345,354,358,362,364,373,385,395,402,410,423,426,451,462,480,484,491,495,500,536,545,549,578,585,592,597,612,663,676,695,700,706,715,723,727,746,755,761,765,787,806,813,856,861,864,885,888,895,898,901,994,1031,1097,1104,1110,1114,1121,1126,1129,1185,1206,1214,1224,1248,1269,1315,1369,1386,1388,1414,1421,1432,1464,1478,1561,1607,1666,1668,1678,1686,1690,1692,1701,1717,1720,1767,1824,1839,1866,1868,1888,1894,1896,1913,2149,2202,2289,2291,2362,2388,2420,2485,2573,2585,2624,2627,2630,2656,2690,2767,2785,2789,2804,2822,2902,2904 'deadlock':600,1370,2779 'decisão':2007 'declara':2340 'decomposição':268 'defin':1851 'definida':1348 'definido':609,1455 'definição':1567 'depend':1030 'dependency_graph.py':2811 'dependência':449,455,1115,2805 'depoi':2092 'depth':2134,2154 'derivedstateof':2219,2229 'describ':3058 'dessa':1093 'destroy':1848 'destruição':1729 'destruída':1802 'destruído':1710 'detalh':1106 'detalhada':2754 'detectar':453,834 'determinismo':1355 'determinístico':1459 'deve':733,1018,1066,1452,1481,1826 'dgraph':1116 'diagnosticsscreen':2166,2203,2209,2242 'dial':2425 'diferenci':361 'diferent':2160 'direto':2366 'dirigido':438 'disponívei':2899,2937 'disponível':1413 'dispositivo':2411 'dissolv':231 'distinta':1964 'distribuído':430 'dividir':2234 'doi':292,619 'domain':175,3012 'domínio':326 'dos':26,69,140,433,523,932,1738,2194,2882,2889 'dual':786 'dá':2844 'e':16,39,59,82,206,249,260,286,441,448,533,551,559,605,608,697,738,748,763,951,953,1023,1232,1550,1681,2100,2556,2560,2590,2603,2616,2887,2941 'efeito':1051 'effect':1037,1160,1504 'eigenvalu':494 'ela':196 'elegância':185 'els':2481 'em':9,52,199,267,271,347,890,939,1138,1364,1578,1727,1772,1784,1793,1881,2012,2163,2191,2235,2410,2499,2632,2728,2769,2853 'emissão':1820,1963 'emissõ':1930 'emitir':2090,2098 'enabl':656 'encontrada':1601 'encontrando':232 'enhanc':3035,3044 'enough':3023 'entr':325,531,987,2005,2097 'entrada':889 'entregu':1966,1986,2306 'entropia':353,514,2784 'então':1533,1536 'environ':3070 'environment-specif':3069 'enxerga':241 'enxergar':323 'errado':2058 'erro':958,1976,2022,2078,2088 'error':1331,1338,2068,2112,2685 'error.tryemit':2120 'escala':1136,1140 'escopo':1685 'escrev':872 'espaço':363,411,1613 'especificado':2310 'específica':1033,1292 'específico':2474,2915,2923 'espera':747 'esta':1649,1661,2911 'estabilidad':737 'estacionariedad':835 'estacionário':498 'estado':481,497,524,579,581,596,601,613,886,896,1056,1170,1196,1278,1363,1378,1934,1942,2018,2684,2763 'estendida':375,866 'estilo':2942 'estocástica':33,76,340 'estocástico':823 'estratégia':2688 'estrutura':234,276,420,1007,1565 'está':1771 'estávei':2174 'estável':2271 'euler':41,112,202,211,303,391,2817 'ev':1559 'event':1901,2031 'evento':586,604,1207,1972,2053,2062,2106 'eventualment':651,963 'evidência':1599 'evita':1765 'evoluibilidad':1177 'evolução':1672 'exatament':1876,1987,2307,2927 'exceed':2676 'excessivo':459 'exceto':2379 'exceção':2682 'execut':658,2913 'executado':661 'executar':1530 'exemplo':913,1276,1604,2845,2852 'exig':2428 'exist':1195,1204,1212,1222,1810,2958 'experimento':2908 'expert':3040,3075 'expertis':176,3013 'explica':2946 'explicit':2302,2454 'explicitament':2679 'explícita':408,2939 'extra':2298,2737 'extrabuffercapac':1947,2026,2114 'extremo':285 'f':574,594,770,781,794,1002,1015,1073,1074,1085,1089,1448,1451,1467 'factori':1443,1445 'failur':467 'fair':654 'falha':1221,1542 'falhar':948,1047 'fallback':2482 'ferramenta':1499 'field':216 'fila':701,2790 'filter':2329,2343 'finish':1713 'flag':2299 'flow':959,1752,1873 'fluxo':1125,1169 'foi':1592 'forc':978 'forma':334 'formai':1124 'formal':84,318,860,1566,1583,1838,1912,2301,2433,2842 'formalment':381,1684 'fornec':1266 'fortement':470 'força':969,2472 'forçar':2269 'frame':416 'frase':2731 'fração':2148 'fronteira':1120 'fun':965,2116,2241 'functor':328,986,1001,1009,1447 'functori':1020 'fundida':1933 'função':591,869,1152,1358,1391,2144 'fusão':1929,1961 'futura':848 'g':439,773,1010,1014,1086,1091 'general':171 'general-purpos':170 'genérica':2683 'geometria':360 'gf':655,657 'global':804,1171 'gmailclient':2365 'good':648 'gpt':2533,2648 'gpt-4o':2532,2647 'gracioso':2483 'grafo':27,70,141,434,437,1113,2803,2883 'grothendieck':203 'grubb':839 'guarda':1817 'gödel':207 'h':515,776 'habilitado':659 'handl':164 'happen':665,670 'happens-befor':664,669 'hessiana':784 'hijack':2390 'hipótes':2912,2938 'histori':2635 'histórico':2021,2629 'hoar':374,865 'homescreen':2183 'honesto':2893 'hot':1992 'howard':938 'http':2672 'humild':2954 'há':976,1816,1829,2900 'i-ésima':2514 'id':2285 'ideal':2184 'idempotência':1519 'ident':1070,1078 'identidad':1022,2270 'identificado':1190,1573 'identificar':1038 'idl':1325 'iff':683 'ignorado':1437 'imediatament':1928 'impacto':1236,2859 'implementação':1032,1653 'implica':660 'implicit':2316,2350,2359 'incerteza':2895,2956 'incluindo':414,1730 'inconsistência':1228 'indefinidament':1438 'indesejado':1380 'index':2124 'inevitável':2583 'informação':24,67,351,509,526,1127,2886,2919 'informaçõ':2929,2936 'inici':582,1197 'input':532,2520,2524,2537,2548,3084 'inseguro':2331,2437 'inspirado':8,51,198 'instalado':2398,2408 'inteiro':2201 'intent':2292,2293,2303,2317,2328,2342,2370,2389,2446,2458,2459,2480 'intent-filt':2327,2341 'intent.action':2447,2460 'intent.extra':2466 'intent.resolveactivity':2418,2476 'intercepta':2344,2378 'interceptado':2395 'interceptar':2354 'interfac':1123,1165,1479 'interface/api':512 'interleav':1223 'intermediário':1935 'intersecção':1675 'inv':1575,1585 'invariant':254,287,332,900,1117,1189,1211,1286,1406,1572,1577,1657,1660,1774,1937,2762 'invariância':357 'io':1512,1514 'io/suspend':1048 'ir':2441 'isconnect':924 'isrecord':927,2226 'it.id':2277 'item':1985,2273,2274,2283 'iten':756 'j':489,493 'jackson':716 'jmm':2778 'k':2593,2610,2700,2707,2709,2727,2745 'key':2267,2276 'kkt':801 'kolmogorov':359,2787 'kotlin':558,915,940,1654,2057,2216,2436,2782 'l':790,1842,2578 'lagrang':788 'lamport':667 'lançar':2421 'latenc':819 'latência':810,847,852 'lazycolumn':2272 'left':1069 'lei':1094 'leia':1296 'leitura':2102 'length':2675 'lido':2162 'lifecycle.state':1857,1861 'lifecyclescop':1722 'ligar/desligar':1878 'limit':3046 'linear':31,74,474 'linguagem':2971 'linha':1144,1146 'lista':2861 'listar':2926 'listof':2636 'live':645 'livelock':610 'llm':710,1329,1441,1791,2498,2733 'llmclient':1450 'llmclient.send':1480 'llmclientfactory.kt':1444 'llmdiagnost':2258 'llmrequest':1342 'llmrespons':1493 'llmresult':1336 'llmstate':2259,2263 'lo':1194 'log':520 'logic':1528 'loop':902 'ltl/ctl':633 'lê':2169 'lógica':83,372,631,863,891,935 'm':486,487,496,504,505,1065,1079,1081,1084,1087,1317 'm/m/1':717 'm/m/k':719 'machin':477 'mai':1676,1811,2426,2829,2868 'mainviewmodel.kt':1552 'maior':1257,1415,1422 'maioria':1737 'makephonecal':2347 'malicioso':2339,2397,2407 'manter':2696 'mantém':1663 'manutenibilidad':1178 'mapa':1109 'markov/chebyshev':857 'mas':1795,2413,2839,2864,2944,2953 'match':2330,3055 'matematica':121 'matematicament':1648 'matematico':2,94,156 'matematico-tao':1 'matemática':20,63,181,244,309,384,1308,1563,1568,1580,2008,2849,2947,2968 'matemático':4,42,47,213,1268,1627,2835 'matriz':483,499 'max':539,2651,2659,2710 'maybe/option':1043 'meali':1316 'medal':217 'meno':1732 'menor':2239 'mensagen':2701 'ment':183 'mention':93,101,110,119,129,138 'mesmo':691,1460,1462,1792,1799,2877 'messag':2723 'meta':307,1173 'meta-cognição':306 'metad':2718 'micro':1143 'min':769 'miss':3092 'mitigação':2416 'model':992,1003,1016,2777 'modelada':1683 'modelar':310,435,712,820,1312 'modelo':343,563,1665,1837,2484 'moderno':1748 'monad':1513 'monadica':967 'monotônica':1392 'monádico':1040 'morfismo':998 'mostra':2832,2955 'msg':1470,1485,1490,2118,2121 'muda':2207,2224,2250,2257,2264 'mudado':2286 'mudança':368,1650,2190 'multi':1135,1440 'multi-escala':1134 'multi-llm':1439 'mutablesharedflow':2113 'mutablestateflow':2069 'mutável':1057 'mvvm':991 'máquina':479,1314 'máx':789 'média':827 'médio':745,754,1618 'módulo':1162,1304 'mônada':1034,1064 'múltipla':2874 'múltiplo':2333 'mútua':527 'mⁿ':506 'n':405,413,749,1948,1950,2492,2496,2502,2506,2558,2559,2563,2567,2568,2577,2581,2589,2592,2597,2600,2613,2639,2642,2658,2726 'n-k':2725 'na':1753,1835 'nada':1548 'natur':2972 'naturalidad':1026 'navegação':1977 'navig':1906 'need':169 'negócio':1897 'neumann':205 'normai':2412 'nos':291 'notação':1579,2967 'notif':1344 'novo':1923,1958,2074 'null':917,1148,1486,2071,2091,2099,2305,2319,2321,2478 'nullabl':946 'nunca':641 'não':182,225,335,615,629,1029,1359,1435,1809,1815,1969,2020,2368,2414,2677,2836,2860,2917 'não-comutatividad':628 'não-produtivo':614 'nível':215,1112 'número':753 'o':255,261,280,311,970,1108,1210,1299,1320,1339,1407,1411,1610,1614,1746,1759,1885,1941,2077,2087,2282,2638,2833,2840,2876 'objeto':996 'observ':2075 'observação':1719 'observesttresult':1779 'obsessão':289 'ocorr':1425 'ocorrência':1244,1633 'oculta':277 'oferec':2873 'onclear':1697 'oncreat':1696,1724 'ond':442,575,603,623,882,1216,2139,2509 'ondestroy':1725 'one':1903,1974,2029,2055,2064,2108 'one-shot':1902,1973,2028,2054,2063,2107 'onstart':1743,1763 'onstart/onstop':1882 'onstop':1744,1757 'operaçõ':1501,1716 'ordenar':1234 'ortogonai':273 'os':230,237,1253,2865,2897 'otimalidad':803 'otimização':544,698,757 'otimizaçõ':2212 'ou':718,957,975,1544,1547,1581,1832,1908,2152,2422 'outlier':838 'output':534,2525,2529,2541,2551,3064 'outsid':3010 'overview':46 'p':518,521,569,621,624,627,843,851,876,883,904,1243,1632,2394,2405,2575,2587,2607,2620 'packagemanag':2477 'padrão':1747,2050,2217,2232,2265 'padrõ':1039,2766 'pagerank':2808 'para':397,428,475,510,543,554,704,736,759,802,809,811,846,867,914,984,989,1035,1187,1263,1298,1306,1349,1456,1474,1526,1538,1715,1736,1750,1776,1787,1821,1863,1957,2009,2023,2052,2061,2085,2105,2165,2181,2213,2268,2324,2391,2434,2442,2531,2580,2599,2612,2646,2748,2752,2909,2924 'paralelização':1539 'param':2173 'parar':1900 'parcial':2933 'parcialment':1543 'parâmetro':365,2150 'passo':1099,1131,1179,1229,1259 'paus':1846 'pcm':2033 'pensa':219,259,266 'pensar':290 'pequena':367 'per':2663,2715 'perdido':1936 'perform':696 'pergunta':2820 'permiss':3085 'perspectiva':2875 'phone':2468 'pipelin':705,1310,2687 'pipelinest':2014 'pipelinestate.value.stage':2230 'pitfal':3004 'pode':947,954,1046,1994,2353,2440 'podem':2335 'point':465,2039,2041 'point-to-point':2038 'ponto':2002,2004,2626,2655 'ponto-a-ponto':2001 'pop':1712 'por':370,1182,1235,1270,1646,2641,2858,2880 'possívei':525 'potenci':422,1813 'pouco':2172 'practic':2976 'pre/post-condi':376 'precisa':2089 'precisaria':2930 'preciso':2965 'predicativa':892 'prediz':841 'preserva':1006,1290 'preservado':1658 'preservar':1021 'preservação':2695 'price':2523,2528,2536,2540 'primitivo':2153 'prioridad':1387,1416,1423,1434 'prioriti':1393,1396,1398,1400,1402,1404 'prioritizado':1628 'prioriza':2857 'priorizar':1252 'privat':2066,2110 'probabilidad':37,80,490,1237,2903 'probabilística':1622 'probabilístico':344,850 'problema':228,270,281,760,2072,2083,2093,2863,2878,2961 'process':567 'processamento':1766 'processo':313,568,620,822,1555,1853 'product':2993 'produtivo':616 'produção':1982,1993 'produção-consumo':1981 'prof':40,111,210,302,390,2816 'profunda':21,64 'profundament':2830 'profundidad':192 'project':2983,3024 'projeto':1294,1303,2760 'prompt':2698 'propagam':369 'proporcion':190 'proposiçõ':943 'proposta':2964 'propriedad':634,974,1588,1590,1597 'propõ':2907 'prova':188,1181,1261 'provada':1641 'provado':380 'provar':973 'provid':1449,1458,1461,1468,1476,2977,3022 'pré':874,1154,1202 'pré-condição':873,1201 'próprio':312 'próxima':2101 'psd':785 'pseudocódigo':1582 'purpos':172 'putextra':2465 'python':2798,2810 'pós':879,1219 'pós-condição':878,1218 'q':622,625,626,845,881,893,912 'quai':2928 'qual':1659,2824 'qualquer':1105,1728,2189,2192,2351,2360,2376,2443 'quando':387,1418,1707,1769,1856,1860,1883,2248,2255,2262,2380,2814,2916,2957,2969,2973 'quanto':2158 'que':195,218,236,256,262,278,1005,1045,1198,1208,1226,1271,1287,1591,1647,1734,1808,1854,2905 'quebra':1209 'quer':2017,2045,2827 'queri':1328,1790 'queu':702 'queue':720 'quê':1886 'r':502,832,1642 'race':617,681,2095,2780 'raciocínio':315,2841 'random':2488 'rank':1629 'rarament':1682 'ratio':2132,2147 'rci':2125,2126,2175,2186,2215 'read':2137,2157 'reader':1058 'real':815,2855 'reativo':553,1556 'receb':1925,2076,2315 'recomendação':1265 'recomendaçõ':1233,1640 'recommend':3015 'recomposit':2122 'recomposição':2198 'recompõ':2210,2221,2246,2253,2260,2287 'record':1326,2231 'recurso':766,1150 'rede':714 'reduzir':2214 'references/auri-analysis.md':1297,2756 'references/complexity-patterns.md':2765 'references/concurrency-models.md':2774 'references/information-theory.md':2783 'referência':2750 'reflet':1940 'reformular':767 'refutá':1193 'refutá-lo':1192 'registrar':2082 'registrou':2402 'reinicia':1764 'relat':96,105,114,124,133,143,3029 'relatório':1560 'relação':668,1360 'relevant':1624 'rememb':2228 'repeatonlifecycl':1735,1740,1834,1840,1849,1891 'replay':1921,1945,1952,1956,1991 'representar':478 'request':166 'requir':2985,3083 'resolv':227,2323 'respond':2336 'restart':1870 'result':949,1491,1515 'result.iserror':923 'result.issuccess':922 'resultado':2046,2223 'resum':1845 'resumo':2703,2721,2739 'retri':1527 'return':1071,1080 'revela':197 'review':2986,3076 'right':1077 'rigorosa':13,56 'rigoroso':2943 'risco':1626,1630,2337,2387,2572,2764 'rotaçõ':1700,1731 'roteamento':1389 'ruim':644 'run':2797,2809 'runtim':348 'ruptura':2628,2657 'ruína':2574 'rápida':1931 's.t':772 'safeti':637,1149,3086 'satisfaz':1067,1482 'saída':899 'sccs':472 'schedul':762 'scheme':2374,2439 'sco':817,1382,1399 'scope':2200,3057 'score':1239,1258,1634,2871 'scripts/complexity_analyzer.py':2792 'scripts/dependency_graph.py':2802 'se':674,1280,1623,1814,1828,1967,1996,2081,2204,2222,2332,2400 'segurança':2290,2300 'seguro':2311,2371,2386,2427,2453 'seja':1841,2490 'sem':1429,1899,1955,1960,1990,2644 'semantica':1875 'sempr':392,650,961,1409,1939,2818 'semântica':1472,1911 'send':1469,1489,2383,2461 'sendemail':2364 'senderror':2117 'sendrequest':920 'sendwhatsapp':2372,2435 'sentido':293 'sequenti':566 'sequência':675,1205 'ser':734,955,1019,1453 'serviço':728 'set':2357 'seta':1128 'setalarm':2355 'setpackag':2384,2456,2470 'severidad':1240,1631 'shannon':2786 'sharedflow':1907,1944,2025,2104 'shot':1904,1975,2030,2056,2065,2109 'side':1036,1159,1503 'simpler':159 'simultânea':1141 'singl':464 'sistema':317,342,371,429,552,560,812,1119,1167,1385,1408,1506,2322 'skill':89,149,2999,3007,3030,3033,3042,3049 'skill-matematico-tao' 'slide':2692 'sobr':1505,2894 'sobrev':1698 'solicitar':2921 'solução':1285,1289,1662,2963 'sourc':1412,1420,1431 'source-sickn33' 'speak':1330 'specif':161,2979,3019,3071 'sqrt':2594 'stabil':2131,2146 'stabl':2151 'stack':415 'start':1844,1892 'startact':2445,2479 'startrecord':1333 'startsco':926 'starvat':1430 'state':476,640,649,1053,1558,1822,1890,2136,2156,2206 'state.started':1741 'state.value':1938 'state.x':1850 'stateflow':556,1551,1553,1721,1823,1887,1893,1915,2015,2043,2051,2060,2159,2171,2196 'stop':1847,3077 'stoprecord':1334 'stream':2037 'string':2070,2119 'stt':709,818,1796,2205 'sttdiagnost':2244 'sttrequest':1341 'sttresult':1335,2042 'sttstate':2245,2249 'sub':2237 'sub-compos':2236 'subjacent':235 'subproblema':272 'subscrib':1924,1959 'substitut':3067 'success':3089 'sucesso':956 'suficient':2920,2974 'suggest':2988 'summari':2734 'suspeita':1598 'suspend':964 'suti':1096 'switch':1426 'system':2697 'são':942,1366,1932,2161 'séri':807 'síntese':1101,1231 'só':2220,2247,2254,2261,2312 'tao':3,11,54,103,157,201,223,258,265 'task':152,3009,3053 'taxa':722,726 'taxonomia':2288 'tela':1702 'telefônica':2393 'tem':1471,2850,2918,2962 'tempo':403,744,814,1609 'tempor':632 'temporai':808 'tentam':1805 'tentar':1191 'teoria':19,22,25,34,62,65,68,77,139,319,349,394,432,507,699,931,981,2788,2881,2884,2888 'terenc':10,53,102,200,222,257 'teria':2185 'test':837,840,3073 'text':2467,2469 'text/plain':2464 'theori':703 'thread':1225 'throughput':546 'throw':929,1494 'tipificado':1495 'tipo':933,941,997,1147,1463,2890 'toast':1905,1978,2024 'toda':1819 'todo':1350,1362,1457,1475 'token':916,918,921,2521,2526,2549,2552,2640,2654,2662,2714 'tom':2940 'tomada':1880 'tool':162,1509,1520,1522,1523,1531,1541,2275,2278,2280 'toolcard':2279 'toolerror':1517 'toolresult':1516 'top':299,1254 'top-down':298 'topic':97,106,115,125,134,144 'topic-agent-skills' 'topic-agentic-skills' 'topic-ai-agent-skills' 'topic-ai-agents' 'topic-ai-coding' 'topic-ai-workflows' 'topic-antigravity' 'topic-antigravity-skills' 'topic-claude-code' 'topic-claude-code-skills' 'topic-codex-cli' 'topic-codex-skills' 'topologia':248,329 'topológica':1102 'torna':238,279 'total':1454 'trabalho':2834 'transborda':1970 'transcrib':1327 'transformaçõ':324,999,1028 'transição':485,593,1865 'tratado':2678 'treat':3062 'triviai':239 'trivial':282 'true':925,928 'truncamento':2645,2691 'tts':711 'ttscomplet':1337 'ttsrequest':1343 'tudo':1546 'tudo-ou-nada':1545 'turn':2664,2716 'turno':2643,2668,2671,2746 'type':2463 'técnica':2751 'típico':2546 'título':1644 'ui':1754,1801,1803,1825,1836,1889,2016,2044 'ultra':6,44,49 'ultra-avançado':5,43,48 'um':212,1419,1852,2193,2851 'uma':187,1063,1511,1879,1988 'understand':3017 'uniform':1484 'unrel':154 'unwrap':979 'updat':1768,1804 'uri.parse':2449 'url':2373,2438 'usa':1410,1780,2369,2381,2717,2966 'usado':1714 'usar':1833,1884,2059,2423 'usb':1401 'usd':2500 'use':87,147,3005,3047 'user':92,100,109,118,128,137,168 'uso':1971,1999 'usuário':2431 'utilização':732 'v':440,443 'v2':1673 'vai':263,304 'val':2067,2111,2225,2457 'valid':3072 'valor':338,1920,1927 'var':2565,2569,2595 'variância':829 'verdad':194 'verificada':1589,1593 'verificar':599,636,779,1025,1345,1417,1818,1827,2417 'vez':1989 'via':2455,2732 'vida':1669,1693,1869 'view':1008,1012,1017,2448 'viewmodel':1000,1004,1011,1708 'viewmodelscop':1694,1781,1898,1910 'viola':1199 'violação':1600 'violaçõ':252,1092 'visto':2879 'você':208,224,229,240,2826 'voic':1309,1788 'voicepipelin':1778 'voicepipeline.kt':1311 'von':204 'voz':708 'válida':1488 'válido':887,897 'w':739 'wa.me':2375,2451 'wa.me/$phone?text=$text':2450 'walk':2489 'whatsapp':2473 'window':2693 'wire':1403 'without':174,3016 'work':179 'x':516,519,522,529,541,771,774,777,782,791,795,797,799,824,1090,1521,1524,1858,1862,2507,2510,2518,2544,2561,2570 'y':530,542 'zero':2415 'à':191 'álgebra':30,73,473 'ção':1062 'ções':377,447 'é':189,209,1272,1357,1436,1492,1510,1651,1709,1965,2892 'ésima':2516 'étodo':871 'ódulo':445 'ós':1157 'ós-condiçõ':1156 'ótima':2689 'ótimo':2708 'última':2699 'último':1919,1926 'útil':1733 'δ':573,587,606,1321,1347,1356,1374 'θ':1619 'λ':721,730,792,1322 'λx':1088 'λᵀg':796 'μ':725,731,741,828 'ν':793 'νᵀh':798 'ρ':729,740,743,750,752 'σ':517,572,583,589,830,2503 'τ':833 'φ':419 'ℤ':1395","prices":[{"id":"8d475277-c289-4ef7-8c59-45c30d0919b1","listingId":"311806d1-5e46-4739-8328-35bc945c317f","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"skill-free","isPrimary":true,"details":{"org":"sickn33","category":"antigravity-awesome-skills","install_from":"skills.sh"},"createdAt":"2026-04-18T21:40:35.672Z"}],"sources":[{"listingId":"311806d1-5e46-4739-8328-35bc945c317f","source":"github","sourceId":"sickn33/antigravity-awesome-skills/matematico-tao","sourceUrl":"https://github.com/sickn33/antigravity-awesome-skills/tree/main/skills/matematico-tao","isPrimary":false,"firstSeenAt":"2026-04-18T21:40:35.672Z","lastSeenAt":"2026-04-23T12:51:13.525Z"}],"details":{"listingId":"311806d1-5e46-4739-8328-35bc945c317f","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"org":"sickn33","slug":"matematico-tao","github":{"repo":"sickn33/antigravity-awesome-skills","stars":34726,"topics":["agent-skills","agentic-skills","ai-agent-skills","ai-agents","ai-coding","ai-workflows","antigravity","antigravity-skills","claude-code","claude-code-skills","codex-cli","codex-skills","cursor","cursor-skills","developer-tools","gemini-cli","gemini-skills","kiro","mcp","skill-library"],"license":"mit","html_url":"https://github.com/sickn33/antigravity-awesome-skills","pushed_at":"2026-04-23T06:41:03Z","description":"Installable GitHub library of 1,400+ agentic skills for Claude Code, Cursor, Codex CLI, Gemini CLI, Antigravity, and more. Includes installer CLI, bundles, workflows, and official/community skill collections.","skill_md_sha":"4cd9e801b27129eba9fe9192bd13f7c8be79667f","skill_md_path":"skills/matematico-tao/SKILL.md","default_branch":"main","skill_tree_url":"https://github.com/sickn33/antigravity-awesome-skills/tree/main/skills/matematico-tao"},"layout":"multi","source":"github","category":"antigravity-awesome-skills","frontmatter":{"name":"matematico-tao","description":"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."},"skills_sh_url":"https://skills.sh/sickn33/antigravity-awesome-skills/matematico-tao"},"updatedAt":"2026-04-23T12:51:13.525Z"}}