San Antonio is a district of the León Cortés Castro canton, in the San José province of Costa Rica.

[1][2] San Antonio was created on 7 November 1995 by Decreto Ejecutivo 24769-G .

[2] San Antonio has an area of 10.15 km2[3] and an elevation of 1,770 metres.

[1] For the 2011 census, San Antonio had a population of 1,106 inhabitants.

[6] The district is covered by the following road routes: This Costa Rican location article is a stub.