Precaliente el horno a 400º F.
Agregue las papas al agua hirviendo con sal y cocine hasta que estén tiernas, aproximadamente 15 minutos. Fuga.
Haga un puré de papas, luego agregue el ajo picado y el caldo de verduras y mezcle hasta que quede suave. Añadir tomillo picado y sal y pimienta al gusto. Dejar de lado.
Caliente una sartén grande a fuego medio alto. Cocine los champiñones durante 5-7 minutos hasta que el líquido comience a evaporarse.
Agregue las zanahorias, la cebolla y el apio y cocine hasta que las verduras comiencen a ablandarse un poco, aproximadamente de 3 a 5 minutos. Agregue las hierbas, el ajo, el caldo y la pasta de tomate y cocine a fuego lento durante 7-10 minutos.
Agregue las lentejas a la mezcla de vegetales, agregue sal y pimienta al gusto. Transfiera el relleno de lentejas a un plato apto para horno. Cubra con puré de papas.
Hornee a 400º F durante 15 minutos, o hasta que la superficie esté ligeramente dorada y el relleno esté burbujeante.