Iglesia prerrománica dedicada a San Miguel Arcángel mandada edificar hacia el 848 por el rey Ramiro I en el Monte Naranco, en los alrededores de Oviedo. Se encuentra a escasos metros de Santa María del Naranco.

Posiblemente es la que según la crónica Albeldense, este monarca mandó construir junto a sus palacios, con función de iglesia palatina. En principio pudo estar dedicada a Santa María y San Miguel.

Declarada por la UNESCO Patrimonio de la Humanidad en 1985.

Originalmente tuvo planta basilical de tres naves, pero sólo se conserva una tercera parte de su longitud, porque durante el siglo XIII o principios del XIV se arruinó posiblemente debido a las malas condiciones del suelo. Se conserva únicamente el vestíbulo y el arranque de sus tres naves. Sobre el primero se encuentra la tribuna real, flanqueada a ambos lados por dos pequeñas estancias.

La cubierta es abovedada, mediante un sistema complejo de bóvedas de medio cañón. Las naves están separadas por arcos que descansan en columnas, hecho inusitado por cuanto lo habitual en el arte asturiano es el uso del pilar como soporte. Estas columnas se apoyan en altas basas cuadradas que albergan decoración escultórica de arquillos que encuadran figuras.

Está realizada en su mayor parte a base de sillarejo, aunque las esquinas de los muros y los contrafuertes son de sillería. Las ventanas presentan bellas celosías talladas en piedra. La construcción resulta esbelta y muestra cierto interés de su autor por las proporciones puesto que su altura es el triple de la anchura de sus naves.