Boundary Atlas

ZIP code 40517: Lexington-Fayette, KY

ZIP code 40517 is in Lexington-Fayette, in Fayette County, Kentucky. It is in Kentucky's 6th congressional district. Its state senate districts are State Senate District 22 (73%), State Senate District 13 (21%) and State Senate District 12 (6.0%); its state house districts are State House District 93 (68%) and State House District 79 (32%).

37,751residents (2020 Census)
6.2 sq miland area
1cities and towns
1congressional district
33voting precincts

See it on the mapAll of Kentucky

City and county

City or townShare of ZIP residents
Lexington-Fayette100%

CountyShare of ZIP residents
Fayette County100%

Town or county subdivisionShare of ZIP residents
Lexington-Fayette Southeast CCD100%

Congressional district

Congressional districtShare of ZIP residents
Kentucky's 6th congressional district (KY-06)100%

Elected officials

OfficeMemberContactShare of residents
U.S. Representative (KY-06)Andy Barr (R)202-225-4706100%
U.S. SenatorMitch McConnell (R)202-224-2541 · contact formstatewide
U.S. SenatorRand Paul (R)202-224-4343 · contact formstatewide
State Senator (State Senate District 22)Don Douglas (R)73%
State Senator (State Senate District 13)Reggie Thomas (Democratic)21%
State Senator (State Senate District 12)Amanda Bledsoe (R)6.0%
State Representative (State House District 93)Adrielle Camuel (Democratic)68%
State Representative (State House District 79)Chad Aull (Democratic)32%

Officials serving now (members of Congress until January 3, 2027). Sources: State legislators: Open States (public domain); Members of Congress: the @unitedstates project, congress-legislators (CC0).

Local government

State legislative districts

State senate districtShare of ZIP residents
State Senate District 2273%
State Senate District 1321%
State Senate District 126.0%

State house districtShare of ZIP residents
State House District 9368%
State House District 7932%

Voting precincts

33 voting precincts overlap ZIP 40517. Map them, with each precinct's share of the ZIP's residents.

Get this in your AI agent

Your agent can get these cities, counties, districts and precincts with their shares, and their GeoJSON boundaries, from Boundary Atlas. Add https://atlas-production-d344.up.railway.app/mcp to Claude, ChatGPT, Cursor or Codex (free, no key; how), then:

related_geographies(id="us:zcta:40517")

ZIP 40517 here is the Census Bureau's ZIP Code Tabulation Area, which approximates the USPS ZIP Code; PO-box-only ZIPs have none. Districts are the maps in force for the November 3, 2026 election.