Misture todos os ingredientes da massa do gnocchi amasse cuidadosamente em uma superfície limpa até que forme uma massa suave e maleável.
Acrescente mais farinha se a mistura estiver muito úmida, mas cuidado para não trabalhar demais a massa e nem colocar muita farinha, pois o gnocchi pode perder a leveza.
Divida a massa em 3 pedaços e faça rolos da largura de um dedo. Corte em pedaços pequenos com uma faca afiada. Passe para uma assadeira forrada com farinha e deixe descansar por 10 a 20 minutos.
Enquanto isso prepare os cogumelos. Limpe e corte os cogumelos de tamanho uniforme para facilitar a cocção. Refogue a cebola na manteiga com um fio de azeite.
Acrescente o alho e deixe refogar por 30 segundos. Adicione os cogumelos e refogue bem. Deglaceie com o vinho tinto e acrescente um pouco de caldo de carne.
Deixe cozinhar até que os cogumelos estejam macios. Tempere com sal e pimenta e o tomilho picadinho. Reserve.
Disponha água em uma panela, coloque 1 colher de sal, e leve a ferver. Cozinhe os gnocchis até que eles subam a superfície.
Com a ajuda de uma escumadeira, retire os gnocchis da água e coloque no refratário que irá servir. Sobre os gnocchis distribua os cogumelos.