Connection check
verified live · 26h ago
reservations
Remote MCP for TehProf Booking: browse resources & availability, create & cancel reservations.
Tools
8
GitHub stars
—
Installs / wk
—
Licence
—
Transport
streamable-http
Last checked
26h ago
Tools & capabilities
8 toolsRead from the running server on 26h ago.
cancel_reservation
reservation_id*
[Requires API key with the matching scope] Cancel a reservation by UUID. Requires the reservations:write scope and the reservation must belong to the key tenant (idempotent — cance… [Requires API key with the matching scope] Cancel a reservation by UUID. Requires the reservations:write scope and the reservation must belong to the key tenant (idempotent — cancelling an already-cancelled booking succeeds).
check_availability
date*resource_id*duration_minutes
Get free time slots for a resource on a given date. Returns bookable slots considering existing reservations. No API key required. Get free time slots for a resource on a given date. Returns bookable slots considering existing reservations. No API key required.
create_reservation
notesend_atlocalestart_atguest_name*guest_email
+5
[Requires API key with the matching scope] Create a reservation. Requires an API key with the reservations:write scope; the booking is bound to the key tenant and the resource must… [Requires API key with the matching scope] Create a reservation. Requires an API key with the reservations:write scope; the booking is bound to the key tenant and the resource must belong to it. Provide either check_in_date+check_out_date (overnight/rental) OR start_at+end_at ISO datetimes (time-slot).
get_branding
slug*
Get public tenant profile and branding (name, logo, colors, tagline) by the tenant public slug. No API key required. Get public tenant profile and branding (name, logo, colors, tagline) by the tenant public slug. No API key required.
get_reservation
reservation_id*
[Requires API key with the matching scope] Get a single reservation by its UUID. With the reservations:read scope and matching tenant, returns guest details; otherwise only public… [Requires API key with the matching scope] Get a single reservation by its UUID. With the reservations:read scope and matching tenant, returns guest details; otherwise only public status fields.
list_groups
slug*
List resource groups (categories) of a tenant by public slug — only groups with at least one publicly visible resource. No API key required. List resource groups (categories) of a tenant by public slug — only groups with at least one publicly visible resource. No API key required.
list_reservations
tofromlimitstatusresource_id
[Requires API key with the matching scope] List reservations of the API key tenant. Requires the reservations:read scope. Optional filters: resource_id, from/to (YYYY-MM-DD), statu… [Requires API key with the matching scope] List reservations of the API key tenant. Requires the reservations:read scope. Optional filters: resource_id, from/to (YYYY-MM-DD), status, limit (1-200, default 50).
list_resources
slug*searchbed_typegroup_idamenitiesmin_capacity
+1