Agra district is one of the 75 Districts of Uttar Pradesh, India. The district headquarters is the historical city of Agra. Agra district is a part of Agra division.