portaljs-add-map

# PortalJS — Add Map ## Overview Add an interactive Leaflet map as a view on a dataset's **showcase** in a `portaljs-catalog` portal. The skill installs `react-leaflet`/`leaflet` (added directly — never `@portaljs/components`), writes a reusable `Map` component split across `MapView.tsx` (the Leaflet code) and `Map.tsx` (a `dynamic(..., { ssr: false })` wrapper, since Leaflet touches `window` at module load), and renders `<Map />` into the **Views** section of the showcase route `pages/[owner]/[slug].tsx` for one chosen GeoJSON dataset. The dataset should already carry `format: "geojson"` in `datasets.json`; if it doesn't exist yet, the skill can copy the file and register it first. ## Prerequisites - A scaffolded PortalJS portal (see `portaljs-new-portal`). - The target dataset registered in `datasets.json` with `format: "geojson"` (see `portaljs-add-dataset`), or a GeoJSON source file/URL to register. - Node 18+ and npm available in the portal directory. ## Instructions The canonical, full step-by-step workflow is [`.claude/commands/portaljs-add-map.md`](https://github.com/datopian/portaljs/blob/main/.claude/commands/portaljs-add-map.md) — the single source of truth. Read and follow it when executing. Summary: 1. Gather input — dataset slug (or a GeoJSON source to register), portal directory. If any is missing, interview the user; never dead-end on a missing value. 2. Validate the portal directory (`datasets.json`, `package.json`, `pages/[owner]/[slug].tsx` m...