insights 1 The Three Prompts of Spec Thinking: Yet Another Lens for Smart Contract Auditing Apr 3, 2025