Relatório Claude — 2026-09-06

🚀 Oficial Anthropic

Proposta de Function Hooks — "torna plugins 10x mais poderosos" (3 set, em andamento)

A engenheira da Anthropic Alice Poteat abre um RFC público para um novo tipo de hook: em vez de scripts shell reagindo a eventos pré-definidos, plugins escreveriam funções TypeScript tipadas que envolvem o próprio comportamento do Claude Code no estilo Express/Koa, com um modelo de continuação next() e um único objeto de capacidade $ para efeitos colaterais auditáveis (I/O de arquivos, rede, renderização de UI).

• Já implementado atrás de uma flag no build 2.1.260, mas ainda não lançado, pendente de feedback — Poteat afirma que "a resposta da comunidade provavelmente decide se isso vai ao ar ou não."
• Inclui um documento técnico de arquitetura completo e vídeos curtos de demonstração anexados à issue.
• Atraiu 113 comentários até 6 set, tornando-se uma das discussões abertas mais ativas do repositório claude-code esta semana.

Formalizando o Último Teorema de Fermat em Lean (4 set)

A Anthropic Research relata que o Claude — usando um modelo de pesquisa interno "aproximadamente comparável ao Claude Fable 5.1" — produziu a primeira formalização ponta a ponta e verificada por máquina da prova de Wiles para o Último Teorema de Fermat no verificador Lean.

• Levou "pouco menos de duas semanas" (11 dias) e cerca de seis bilhões de tokens de saída, coordenados via Prove2Me, uma plataforma aberta que mantém um grafo de dependências de enunciados de teoremas entre muitos agentes Claude em paralelo.
• A formalização abrange 13 milhões de linhas de código Lean e 30.300 teoremas provados (29.500 usados na prova final) — mais de 5x o tamanho da Mathlib, a principal biblioteca comunitária do Lean.
• O Lean verificou o resultado a partir apenas de seus três axiomas padrão; um projeto complementar formalizou o Teorema dos Três Primos de Vinogradov em três dias usando assinaturas Claude Max de consumidor comum.

Claude Code v2.1.263 (6 set)

Lançado apenas como "correções de bugs e melhorias de confiabilidade", sem detalhamento adicional no changelog.

Claude Agent SDK TypeScript v0.3.263 (6 set)

Sobe para paridade com a CLI do Claude Code v2.1.263 sem nova superfície de API; o SDK Python permanece travado na v0.2.152 (empacotando a CLI 2.1.259, 2 set), ampliando a distância entre os dois SDKs.

🔌 Plugins Claude Code

Rastreamento de plugins pulado nesta execução — cache de instalações do marketplace oficial indisponível.

🛠️ Skills

tt-a1i/archify

Lança uma correção que rejeita sobrescritas de arquivos de saída não-HTML sem restringir diretórios de saída (#322, 6 set) e integra uma correção que descarrega recibos de artefatos grandes antes do processo de verificação encerrar (#311, 5–6 set).

Sem mudanças no período: anthropics/skills (último commit 3 set, já reportado), agentskillexchange/skills (apenas commits rotineiros de sincronização/regeneração, sem mudança de conteúdo), K-Dense-AI/scientific-agent-skills (último push 2 set, já reportado), alirezarezvani/claude-skills (sem mudanças desde 26 ago).

🤖 Agentes & Subagentes

anthropics/claude-agent-sdk-typescript

Ver Oficial Anthropic acima — lança v0.3.263 (6 set), um bump apenas de paridade acompanhando o Claude Code v2.1.263, sem novo comportamento voltado a agentes.

Sem mudanças no período: nicobailon/pi-subagents (ainda v0.65.1, lançado 4 set, já reportado), claude-agent-sdk-python (ainda v0.2.152), VoltAgent/awesome-claude-code-subagents (apenas movimentação de README, sem mudança de conteúdo), AMAP-ML/LongHorizon-Harness (sem push desde 20 ago).

🔗 MCPs & Integrações

oraios/serena

Corrige disputa entre instâncias concorrentes do Serena pelo mesmo diretório de armazenamento do language server Kotlin — um lock de arquivo não bloqueante agora dá a uma segunda instância concorrente seu próprio armazenamento em vez de ter suas requisições canceladas pela primeira (corrige #1966, 6 set), na sequência da correção de posição do SolidLSP já reportada (4 set).

DeusData/codebase-memory-mcp

Reforça a busca semântica: rejeita elementos não-string em queries de array em vez de descartá-los silenciosamente, e faz uma varredura vetorial que falha retornar erro explícito ("fail closed") em vez de ser renderizada como zero resultados (5–6 set).

Sem mudanças no período: upstash/context7 (último commit 4 set, já reportado), github/github-mcp-server (último commit 3 set, já reportado), modelcontextprotocol/typescript-sdk (último commit 3 set, já reportado), modelcontextprotocol/servers (reforços rotineiros no memory-server em 3 set, sem novidade importante), punkpeye/awesome-mcp-servers (último commit 1 set).

💡 Comunidade — Workflows e Ideias

O livro de poesia de 1930 que a Anthropic tentou censurar

Um escritor transcrevendo a coletânea de domínio público de 1930 de Stanley Kunitz, Intellectual Things, esbarrou repetidamente no filtro de conteúdo do Claude, que sinalizou o uso literário denso de palavras como "corpo", "morte" e "sangue" como inseguro — um caso concreto de filtros de segurança automatizados disparando erroneamente sobre texto canônico e de direitos livres (4 set).

📰 Menções Rápidas

• Lançamento do IPO da Anthropic desliza para meados de outubro (5 set) — a Reuters relata que o cronograma da listagem escorregou do final de setembro.
• Autores disputam com editoras a divisão do acordo de US$ 1,5 bi da Anthropic (5 set) — uma disputa sobre como o pagamento de direitos autorais será dividido.
• reverify (ativo em 5 set) — um servidor MCP e CLI que verifica afirmações geradas por IA contra ferramentas determinísticas em vez de confiar no modelo, já passou de 900 estrelas.
• okf-agent-memory (5 set) — um servidor de memória Git-nativo com MCP embutido implementando a spec Google OKF v0.2, com busca BM25 sub-300µs, sem banco de dados externo.
• codenotch (5 set) — um app macOS que fixa os limites de uso do Claude Code, Cursor, Codex e Antigravity na borda da tela.
• Show HN: claude-transplant (6 set) — move sessões do Claude Code entre contas dentro do Claude Desktop.
• Show HN: Stemma (6 set) — gera uma única fonte de verdade para CLAUDE.md, AGENTS.md e instruções do Copilot.
• claude-adhd (5 set) — um plugin do Claude Code que exibe lembretes gentis sobre threads inacabadas de sessões passadas.