Dunn Estates Aspen: The Galena Penthouse
com.dunnestates/aspen-penthousedunnestates.comstreamable-httpv1.0.0Scanned
Live availability, all-in quotes and facts for a ski-in Aspen penthouse for two.
9 tools: 1 change things and 8 only read.
- Reads private data · 0
- Reads text others write · 1
- Can send data out · 0
- No findings
Anlyon alternative
1 of these tools change something. Run those as governed actions.
Declare what an action changes, and Anlyon puts it under a shared limit, binds every approval to the exact request, and grades the outcome. It works on any HTTPS API you can describe as an action.
Anlyon does not run, proxy or govern this MCP server. A tool your own code calls directly is not routed through Anlyon and is not governed by it.
Import an OpenAPI spec →Tools
Grouped by what each tool does, most consequential first. Open one for its reasons and full description; descriptions are the publisher's own words.
9 tools
Changes things 1Claude Code: ask
check_availabilityNight-by-night availability from the live booking calendar between two dates (up to 180 nights).No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it Night-by-night availability from the live booking calendar between two dates (up to 180 nights). Returns open windows, reserved ranges and whether the whole requested stay is open. Reserved nights are shown simply as reserved. Use get_quote to confirm the price and minimum stay for specific dates.
Annotations the server declares
- title: Check availability
- readOnlyHint: true
- destructiveHint: false
- idempotentHint: true
- openWorldHint: false
Only reads 8Show 8 read-only tools
compare_to_alternativesHow The Galena Penthouse compares with luxury Aspen hotels (The Little Nell, St.No findings
Why it is in this group
- The name "compare_to_alternatives" says "compare": a word for reading.
Description, as the server wrote it How The Galena Penthouse compares with luxury Aspen hotels (The Little Nell, St. Regis, Hotel Jerome, W Aspen) and with booking the same kind of stay on Airbnb or VRBO: space, kitchen, fireplace, ski access, pool and estimated hotel rates. Hotel figures are typical peak-season estimates, not quotes.
Annotations the server declares
- title: Compare to alternatives
- readOnlyHint: true
- destructiveHint: false
- idempotentHint: true
- openWorldHint: false
get_amenitiesAmenities by room and building (king bed, wood-burning fireplace, full kitchen, Sonos, pool and hot tub, ski locker), what is provided, and what is not available (no elevator, no c…No findings
Why it is in this group
- The name "get_amenities" says "get": a word for reading.
Description, as the server wrote it Amenities by room and building (king bed, wood-burning fireplace, full kitchen, Sonos, pool and hot tub, ski locker), what is provided, and what is not available (no elevator, no central A/C, no daily maid service).
Annotations the server declares
- title: Amenities
- readOnlyHint: true
- destructiveHint: false
- idempotentHint: true
- openWorldHint: false
get_location_and_nearbyAddress and coordinates plus walking times to lifts, restaurants, shops and transit, recurring Aspen events with their usual dates and live availability for those windows, and airp…No findings
Why it is in this group
- The name "get_location_and_nearby" says "get": a word for reading.
Description, as the server wrote it Address and coordinates plus walking times to lifts, restaurants, shops and transit, recurring Aspen events with their usual dates and live availability for those windows, and airport transfer times.
Annotations the server declares
- title: Location and nearby
- readOnlyHint: true
- destructiveHint: false
- idempotentHint: true
- openWorldHint: false
get_policiesCheck-in and check-out times, minimum age, maximum guests, pets, smoking, quiet hours, parking, housekeeping, typical minimum stays, taxes and how quotes and cancellations work, as…No findings
Why it is in this group
- The name "get_policies" says "get": a word for reading.
Description, as the server wrote it Check-in and check-out times, minimum age, maximum guests, pets, smoking, quiet hours, parking, housekeeping, typical minimum stays, taxes and how quotes and cancellations work, as stated in the official property listing.
Annotations the server declares
- title: Stay policies
- readOnlyHint: true
- destructiveHint: false
- idempotentHint: true
- openWorldHint: false
get_property_overviewFacts about The Galena Penthouse, a private top-floor one-bedroom penthouse in Aspen, Colorado, with ski-in access to Aspen Mountain: size, layout, sleeping capacity, location, hig…No findings
Why it is in this group
- The name "get_property_overview" says "get": a word for reading.
Description, as the server wrote it Facts about The Galena Penthouse, a private top-floor one-bedroom penthouse in Aspen, Colorado, with ski-in access to Aspen Mountain: size, layout, sleeping capacity, location, highlights, honest caveats, ratings, permit and photos. Call this first to describe the property.
Annotations the server declares
- title: Property overview
- readOnlyHint: true
- destructiveHint: false
- idempotentHint: true
- openWorldHint: false
get_quoteExact all-in direct quote for specific dates from the live booking engine: itemized rent, any current offer, cleaning, property protection and taxes, with no platform fee.No findings
Why it is in this group
- The name "get_quote" says "get": a word for reading.
Description, as the server wrote it Exact all-in direct quote for specific dates from the live booking engine: itemized rent, any current offer, cleaning, property protection and taxes, with no platform fee. Also reports minimum-stay rules and invalid dates. Returns a prefilled secure checkout link for the guest. A quote is a live rate snapshot, not a hold or reservation.
Annotations the server declares
- title: Live all-in quote
- readOnlyHint: true
- destructiveHint: false
- idempotentHint: true
- openWorldHint: false
get_reviewsRating summary and verbatim guest reviews from direct stays, newest first.Reads text others writeNo findings
Why it is in this group
- The name "get_reviews" says "get": a word for reading.
What it can reach
- untrusted-inputThe name "get_reviews" says "get" and "review": it reads comments, which other people can write.
- untrusted-inputThe description's first sentence says "review": it reads comments, which other people can write.
Description, as the server wrote it Rating summary and verbatim guest reviews from direct stays, newest first.
Annotations the server declares
- title: Guest reviews
- readOnlyHint: true
- destructiveHint: false
- idempotentHint: true
- openWorldHint: false
suggest_datesLists open stay windows in a given month that fit the requested length and the typical minimum stay, with live all-in totals for the first few.No findings
Why it is in this group
- The description's first verb is "list": a word for reading.
Description, as the server wrote it Lists open stay windows in a given month that fit the requested length and the typical minimum stay, with live all-in totals for the first few. Use it when the guest is flexible ("a long weekend in February").
Annotations the server declares
- title: Suggest open dates
- readOnlyHint: true
- destructiveHint: false
- idempotentHint: true
- openWorldHint: false
This is not a safety rating, and no finding is not a safety guarantee. The groups and findings come from fixed checks of the tool definitions the server returned on the date shown, not from its code or what it does when called. How the checks work.
Exfil surface
Which tools read private data, which read text someone else can write, and which can send data out. One of each is a path a prompt injection can use.
No private-data, untrusted-input, outbound path in this server alone: no tool is tagged private-data or outbound.
- Reads private data0
- Reads files, mail, messages, databases, secrets, calendars or repositories.
- Reads text others write1
- Brings in text someone else can write: web pages, inbound email, messages, issues and comments.
- Can send data out0
- Can carry data to people or systems: it sends, posts or publishes, or takes a recipient, channel or URL.
Other servers in the same agent add their own tools to these paths. Audit your whole setup to see them together.
Findings
Matches of fixed checks, with the text they matched.
No check matched anything in these tool definitions. That is not a safety guarantee.
History
Changes to its tool definitions and to its remote endpoint, newest first.
No change seen yet. Its tools are rescanned every day, and a remote endpoint is looked at once a week.
Install
Pinned to version 1.0.0. Values in angle brackets are yours to fill in.
claude mcp add --transport http aspen-penthouse https://www.dunnestates.com/mcpclaude mcp add --transport http aspen-penthouse https://www.dunnestates.com/mcpRun in a terminal.
Claude Code permissions
Allow the reads, ask before a change or a way out, deny the deletes. Paste into .claude/settings.json.
{
"permissions": {
"allow": [
"mcp__aspen-penthouse__get_property_overview",
"mcp__aspen-penthouse__get_quote",
"mcp__aspen-penthouse__suggest_dates",
"mcp__aspen-penthouse__get_policies",
"mcp__aspen-penthouse__get_amenities",
"mcp__aspen-penthouse__get_location_and_nearby",
"mcp__aspen-penthouse__get_reviews",
"mcp__aspen-penthouse__compare_to_alternatives"
],
"ask": [
"mcp__aspen-penthouse__check_availability"
],
"deny": []
}
}Tools that only read are allowed, tools that change things ask first, tools that delete or cancel are denied. A read that can send data out (it takes a URL, say) asks first too. It assumes the server is installed as aspen-penthouse. Review it before you use it.
Capability tags behind 1 rule
- mcp__aspen-penthouse__get_reviews untrusted-input
Pin
Keep the decision: fail CI when the tools change, follow every change, or show a badge.
Pin in CI
Fail a build when the tools you reviewed are not the tools the server serves today.
curl -s "https://anlyon.dev/api/v1/servers/com.dunnestates/aspen-penthouse/verify?hash=b1a42d7b4025651db3601f3a6eebfba1dfbf9a1425b786b01f506ef8eee9a025" | jq -e '.changed == false'Pinned hash b1a42d7b4025, from Oct 29, 2026, 05:18 UTC.
Watch
Get told when its tools change: a new tool, a new description, a new class.
https://anlyon.dev/servers/com.dunnestates/aspen-penthouse/changes.xmlAn Atom feed. Works in any feed reader or Slack's RSS app.
Badge
[](https://anlyon.dev/servers/com.dunnestates/aspen-penthouse)Source: MCP Registry. Synced Oct 29, 2026, 05:17 UTC.