mining-infra

Build formal Quint specifications to prove correctness of DeFi protocols, cross-chain interoperability, and intent-based systems. Use when user mentions "quint", "formal spec", "prove correctness", "model check", "specify protocol", "invariant", "state machine", "safety property", or wants to verify protocol logic.