Technically there’s a base minetest game that the install packages include but you probably want to use the downloader to install other games (or mods) to get anything out of it if you’re just a player.