Corex Booking

io.github.mitcheleyre/corex-bookingmitcheleyrestreamable-httpv1.0.0Scanned 49 minutes ago

Find and book a local home-service business, with a card deposit, from your AI.

4 tools: 2 change things and 2 only read.

Reads private data · 0
Reads text others write · 4
Can send data out · 1
1 finding

Anlyon alternative

2 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.

4 tools

Changes things 2Creates or changes something that can be changed back.Claude Code: ask

book_with_depositHold a time for the homeowner and get a card payment link for the deposit.Reads text others writeCan send data outNo findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
- outboundThe input takes a destination (input.phone): what the tool writes goes there.
Description, as the server wrote it
Hold a time for the homeowner and get a card payment link for the deposit. Ask the homeowner for their name, phone, service address and a short description of the problem first. The time is held for 20 minutes and is booked only when they pay. Tell them: The deposit comes off your final bill. Refunds are up to the business.
Annotations the server declares
- readOnlyHint: false
- destructiveHint: false
- openWorldHint: true
get_open_timesOpen appointment times for a business over the next days (default 7, max 14).Reads text others write1 finding
Why it is in this group
- The name "get_open_times" says "get": a word for reading.
- The description's first verb is "open": a word for a change.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Findings
- Warn
  The server marks "get_open_times" read-only (readOnlyHint: true), and its own name, description or input give the class "write".
  Matched text
  annotations: {"readOnlyHint":true,"openWorldHint":true}; The name "get_open_times" says "get": a word for reading.
  What this check looks for
Description, as the server wrote it
Open appointment times for a business over the next days (default 7, max 14). Pass a start value to book_with_deposit.
Annotations the server declares
- readOnlyHint: true
- openWorldHint: true

Only reads 2Looks things up and changes nothing.Show 2 read-only tools

get_businessDetails for one business from search_businesses: name, services, hours, deposit and the refund policy.Reads text others writeNo findings
Why it is in this group
- The name "get_business" says "get": a word for reading.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Details for one business from search_businesses: name, services, hours, deposit and the refund policy.
Annotations the server declares
- readOnlyHint: true
- openWorldHint: true
search_businessesFind local service businesses that take AI bookings with a deposit, by trade (plumbing, hvac, appliance repair, cleaning, electrical, pest control...) and 5-digit zip.Reads text others writeNo findings
Why it is in this group
- The name "search_businesses" says "search": a word for reading.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Find local service businesses that take AI bookings with a deposit, by trade (plumbing, hvac, appliance repair, cleaning, electrical, pest control...) and 5-digit zip. Returns business_id values for the other tools.
Annotations the server declares
- readOnlyHint: true
- openWorldHint: true

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.

Reads private data0: Reads files, mail, messages, databases, secrets, calendars or repositories.
Reads text others write4: Brings in text someone else can write: web pages, inbound email, messages, issues and comments.; book_with_deposit
get_business
get_open_times
search_businesses
Can send data out1: Can carry data to people or systems: it sends, posts or publishes, or takes a recipient, channel or URL.; book_with_deposit

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.

1 warn

Warnget_open_times
The server marks "get_open_times" read-only (readOnlyHint: true), and its own name, description or input give the class "write".
Matched text
annotations: {"readOnlyHint":true,"openWorldHint":true}; The name "get_open_times" says "get": a word for reading.
What this check looks for

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.

All changes to this server

Install

Pinned to version 1.0.0. Values in angle brackets are yours to fill in.

claude mcp add --transport http corex-booking https://corexai.co/api/consumer-mcp

claude mcp add --transport http corex-booking https://corexai.co/api/consumer-mcp

Run 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.

.claude/settings.json

{
  "permissions": {
    "allow": [
      "mcp__corex-booking__search_businesses",
      "mcp__corex-booking__get_business"
    ],
    "ask": [
      "mcp__corex-booking__get_open_times",
      "mcp__corex-booking__book_with_deposit"
    ],
    "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 corex-booking. Review it before you use it.

Capability tags behind 4 rules

mcp__corex-booking__search_businesses untrusted-input
mcp__corex-booking__get_business untrusted-input
mcp__corex-booking__get_open_times untrusted-input
mcp__corex-booking__book_with_deposit untrusted-input, outbound

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/io.github.mitcheleyre/corex-booking/verify?hash=88e9ea40ef03355d6d932049a19b2e257d7f76e27fbeddea814856f4b4e45ab8" | jq -e '.changed == false'

Pinned hash 88e9ea40ef03, from Nov 3, 2026, 20:18 UTC.

Watch

Get told when its tools change: a new tool, a new description, a new class.

https://anlyon.dev/servers/io.github.mitcheleyre/corex-booking/changes.xml

An Atom feed. Works in any feed reader or Slack's RSS app.

Badge

[![anlyon.dev](https://anlyon.dev/badge/io.github.mitcheleyre/corex-booking.svg)](https://anlyon.dev/servers/io.github.mitcheleyre/corex-booking)

Source: MCP Registry. Synced Nov 3, 2026, 20:17 UTC.