Archetype compiler comes with the Completium CLI :
npm i @completium/completium-cli -gcompletium-cli init
To know the current version of Archetype:
completium-cli archetype version
The current version is
Archetype also comes with the Archetype VS code extension:
Archetype generates Why3 file format (mlw) for contract verification purpose.
Follow instructions on the page below to install Why3 and solvers (Alt-Ergo, CVC4, Z3):