Boundary Atlas

ZIP code 00923: San Juan, PR

ZIP code 00923 is in San Juan, in San Juan Municipio, Puerto Rico. It is in Puerto Rico's at-large congressional district. Its state senate district is State Senate District 1; its state house districts are State House District 2 (80%) and State House District 3 (20%).

23,607residents (2020 Census)
2.0 sq miland area
2cities and towns
1congressional district
13voting precincts

See it on the mapAll of Puerto Rico

City and county

City or townShare of ZIP residents
San Juan100%
Caño Martin Peña0.3%

CountyShare of ZIP residents
San Juan Municipio100%

Town or county subdivisionShare of ZIP residents
Oriente barrio80%
Sabana Llana Sur barrio14%
Universidad barrio4.7%
Pueblo barrio1.9%

Congressional district

Congressional districtShare of ZIP residents
Puerto Rico's at-large congressional district (PR-AL)100%

Elected officials

OfficeMemberContactShare of residents
MayorMiguel Romero100%
Resident Commissioner (PR-AL)Pablo José Hernández (D)202-225-2615100%
State Senator (State Senate District 1)Juan Oscar Morales (Partido Nuevo Progresista)100%
State Senator (State Senate District 1)Nitza Morán (Partido Nuevo Progresista)100%
State Representative (State House District 2)Chino Ocasio (Partido Nuevo Progresista)80%
State Representative (State House District 3)Cheíto Hernández (Partido Nuevo Progresista)20%

From Wikidata (community-maintained); confirm on the city's website.

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); Mayors: Wikidata (CC0).

Local government

State legislative districts

State senate districtShare of ZIP residents
State Senate District 1100%

State house districtShare of ZIP residents
State House District 280%
State House District 320%

Voting precincts

13 voting precincts overlap ZIP 00923. 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://boundarymcp.com/mcp to Claude, ChatGPT, Cursor or Codex (free, no key; how), then:

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

ZIP 00923 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.