Render a geojson file with openstreetmap tiles to png

run.py

import geopandas as gpd
import matplotlib.pyplot as plt
import contextily as ctx

# Read the GeoJSON file
gdf = gpd.read_file("file.geojson")

# Plot the GeoJSON data
fig, ax = plt.subplots(figsize=(5, 5))
gdf.plot(ax=ax, edgecolor='blue', facecolor='none')  # Plot GeoJSON data

# Add OpenStreetMap tiles as background
ctx.add_basemap(ax, crs=gdf.crs, source=ctx.providers.OpenStreetMap.Mapnik)

plt.axis('off')  # Turn off the axis
plt.savefig("output_image.png", dpi=1200, bbox_inches='tight')  # Save as PNG
plt.show()