The economic asymmetry in smart contract security has always been brutal. An attacker spends an API call and a defender spends an engineer-week. Formal verification was always the theoretically correct answer. The reason it never scaled is that writing specifications by hand is slow and expensive. What @wgrieskamp built destroy this barrier. → Claude Code plugs into the Move Prover via MCP → AI generates the specifications → The prover checks them mathematically → Refinement loops until verification passes The tedious half gets automated while the rigorous half stays rigorous. @DecibelTrade is the right target to prove this works: order matching, margin logic, liquidation, funding rates. The full breakdown from @wgrieskamp is worth your time 👇🏻