Refactoring is a technique in which a program code is modified but preserving its original behaviour, while its structure is improved. Although there are tools that automates refactoring transformations, a fair amount can not ensure the preservation of the orginal behaviour, that is, they do not guarantee safety in the refactorings performed by them. This work presents a safe refactor tool that provides four types of refactorings for the Dafny language. To ensure behaviour preservation, the Dafny verifier assists on the refactoring process. This work also implements a source editor extension for VSCode that provides easy access to the four implemented refactorings. The tool is open source and can be used as foundation for a tool with more refactorings for DafnyRefatoração é uma técnica no qual o código de um programa é modificado, no intuito de melhorar legibilidade e estruturação, porém o comportamento é mantido. Existem ferramentas que realizam refatorações de forma automática, porém muitas não garantem que o comportamento é mantido, ou seja, não realizam refatorações seguras. Este trabalho apresenta a implementação de uma ferramenta que disponibiliza quatro tipos de refatorações seguras para Dafny. As refatorações são seguras no sentido que preservam o comportamento do programa original. O verificador de Dafny é explorado para garantir a segurança das refatorações. Para facilitar o uso para os programadores, também é apresentado neste trabalho uma extensão que integra as refatorações com o editor de texto VSCode. O código-fonte da ferramenta é aberto e pode ser usado como base para adicionar mais refatorações ao catálogo de DafnySão Cristóvão, SE