A assimetria econômica na segurança de contratos inteligentes sempre foi brutal. Um atacante gasta uma chamada de API, enquanto um defensor gasta uma semana de engenharia. A verificação formal sempre foi a resposta teoricamente correta. A razão pela qual nunca foi escalada é que escrever especificações manualmente é lento e caro. O que @wgrieskamp construiu destruiu essa barreira. → Claude Code se integra ao Move Prover por meio do MCP → IA gera as especificações → O provador verifica-as matematicamente → Loop de refinamento até a verificação ser aprovada A parte tediosa é automatizada, enquanto a parte rigorosa permanece rigorosa. @DecibelTrade é o alvo ideal para provar que isso funciona: emparelhamento de ordens, lógica de margem, liquidação, taxas de financiamento. A análise completa de @wgrieskamp vale o seu tempo 👇🏻