search_spaces
Find spaces available for an entire date and time slot, filtered by type, floor, and capacity, and return space IDs for booking.
Instructions
Find spaces free for the whole slot. date=YYYY-MM-DD, start/end=HH:MM (building local time).
space_type: "Desk" (study seats), "MeetingRoom", "Boardroom", "LectureTheatre"... (see list_locations).
floor: floor number ("-1", "4"), name or id. Returns space ids to pass to book_space, with booking rules.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| end | Yes | ||
| date | Yes | ||
| floor | No | ||
| limit | No | ||
| start | Yes | ||
| space_type | No | Desk | |
| building_id | No | ||
| min_capacity | No |