This artifact presents Metamorph, a large object synthesis tool for Dafny. The artifact contains the source code of Metamorph, the baseline to which we compare it, the benchmarks on which we evaluate it, the fork of Dafny with a modified version of the automated test generation toolkit, as well as all the dependencies necessary for installation. For further details, please refer to the attached README.md and the following paper: Aleksandr Fedchin, Alexander Y. Bai, and Jeffrey S. Foster. Metamorph: Synthesizing Large Objects from Dafny Specifications. In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications. https://doi.org/10.1145/3720448