La asimetría económica en la seguridad de los contratos inteligentes siempre ha sido brutal. Un atacante gasta una llamada a la API, mientras que un defensor gasta una semana de ingeniería. La verificación formal siempre fue la respuesta teóricamente correcta. La razón por la que nunca se escaló es que escribir especificaciones a mano es lento y costoso. Lo que construyó @wgrieskamp destruye esta barrera. → Claude Code se integra con el Move Prover mediante MCP → La IA genera las especificaciones → El probador las verifica matemáticamente → Se realizan bucles de refinamiento hasta que la verificación sea exitosa La parte tediosa se automatiza, mientras que la parte rigurosa permanece rigurosa. @DecibelTrade es el objetivo adecuado para demostrar que esto funciona: emparejamiento de órdenes, lógica de margen, liquidación, tasas de financiación. El desglose completo de @wgrieskamp merece tu tiempo 👇🏻