AI-Assisted Formal Specification and Verification in Dafny: A Multi-Provider VS Code Extension - Honorato, Vinicius Correia (PQDT - Global, 2025)