find_campuses_in_district_boundary
Find campuses within a specified district boundary using TEA spatial data, returning GeoJSON or campus lists with optional filters and pagination.
Instructions
Spatial containment query using teadata boundary methods; returns GeoJSON (district polygon + campus points) with overall_rating_2025 in properties. Use for 'within Austin ISD boundaries' or 'show on a map' prompts; apply status or campus_query filters (e.g., IDEA, KIPP). Default boundary_delivery is 'reference' to avoid huge payloads; this returns a Census TIGERweb download_url so ChatGPT can fetch the boundary directly. response_profile controls payload size: 'map' returns GeoJSON only, 'list' returns campus list only, 'both' returns both. campus_list_format controls list compactness (id/id_name/full). Responses paginate via cursor/next_cursor to avoid truncation; set include_total=true to return total_matches. Responses include payload.table and payload.exports for deterministic tables and CSV/JSON export when lists are returned; if payload.completeness.needs_follow_up or pagination.has_more is true, follow next_tool_call before finalizing. Use campus_meta_fields to include specific meta keys without dumping full meta. Example: "Find campuses within Austin ISD boundaries".
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | ||
| cursor | No | Pagination cursor (number of matched campuses to skip). Use pagination.next_cursor from prior response. | |
| status | No | all | |
| campus_query | No | Optional filter against campus name/number/district/charter label (e.g., IDEA). | |
| include_total | No | Include total_matches for pagination awareness. | |
| include_geojson | No | ||
| response_profile | No | Choose 'map' for GeoJSON points, 'list' for campuses only, 'both' for both. | map |
| boundary_delivery | No | Use 'reference' to return a Census TIGERweb download URL; 'inline' returns full boundary GeoJSON (may be large). | reference |
| campus_list_format | No | Choose list output: full summaries, campus_number only, or campus_number + name. | id_name |
| campus_meta_fields | No | Optional list of campus meta keys to include under campuses[].meta and geojson.properties.meta. | |
| max_response_bytes | No | Soft cap on response size in bytes. Set to 0 to disable trimming. | |
| district_identifier | Yes | District name or number used to locate boundaries. | |
| include_campus_geometry | No |