UMich Dining
io.github.esreddy2/umich-dining-mcpesreddy2streamable-httpv2.0.0Scanned
Menus, traits, allergens, nutrition and hours of the ten University of Michigan dining halls.
7 tools: 1 change things and 6 only read.
- Reads private data · 1
- Reads text others write · 7
- 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.
7 tools
Changes things 1Claude Code: ask
filter_dishesFilter the dining hall menus by allergen, trait, nutrient density, carbon footprint and calories.Reads text others writeNo 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.
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 Filter the dining hall menus by allergen, trait, nutrient density, carbon footprint and calories. exclude_allergens removes dishes that carry any of the listed allergens; require_traits keeps only dishes that carry every listed trait; min_mhealthy is the lowest acceptable nutrient-density tier (3 = Nutrient Dense Medium or better); max_carbon is the highest acceptable carbon footprint; max_calories and max_sodium_mg are numeric caps that exclude dishes without published values. Allergen data is only as good as the site. The menu page flags the allergens the kitchen reported for a dish, but the data does not distinguish "contains" from "may contain", there are no ingredient lists, and it is not safe to treat a missing flag as an absence of the allergen. The site's own guidance is: "Look for the signs posted near each food serving area for a list of menu options with allergens highlighted in red." The "Gluten Free" trait means the dish is made without gluten, not that it is safe for someone with coeliac disease. Dedicated gluten-free pantries exist only at South Quad, East Quad, Mosher-Jordan and Bursley.
Annotations the server declares
- readOnlyHint: true
- openWorldHint: true
Only reads 6Show 6 read-only tools
find_open_nowReturn the dining halls that are serving at the current time, and the ones that are not, with the service periods of today.Reads text others writeNo findings
Why it is in this group
- The name "find_open_now" says "find": 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 Return the dining halls that are serving at the current time, and the ones that are not, with the service periods of today.
Annotations the server declares
- readOnlyHint: true
- openWorldHint: true
get_hoursGet the service periods published for a dining hall on the requested day, together with the hall's regular weekly schedule.Reads text others writeNo findings
Why it is in this group
- The name "get_hours" 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 Get the service periods published for a dining hall on the requested day, together with the hall's regular weekly schedule. Without a hall argument every hall is returned.
Annotations the server declares
- readOnlyHint: true
- openWorldHint: true
get_item_nutritionGet the full nutrition panel of one dish, including the serving size, calories, the fat, cholesterol, sodium, carbohydrate and protein values and the micronutrients.Reads text others writeNo findings
Why it is in this group
- The name "get_item_nutrition" 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 Get the full nutrition panel of one dish, including the serving size, calories, the fat, cholesterol, sodium, carbohydrate and protein values and the micronutrients. The dish name is matched case-insensitively; an exact match wins, otherwise a unique substring match is used and an ambiguous name is reported rather than guessed.
Annotations the server declares
- readOnlyHint: true
- openWorldHint: true
list_locationsList the ten University of Michigan dining halls with their address, phone, e-mail, map link, the service periods published for the requested day, whether they are serving right no…Reads private dataReads text others writeNo findings
Why it is in this group
- The name "list_locations" says "list": a word for reading.
What it can reach
- private-dataThe description's first sentence says "list" and "mail": it reads mail.
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
- untrusted-inputThe description's first sentence says "list" and "mail": it reads inbound email, which other people can write.
Description, as the server wrote it List the ten University of Michigan dining halls with their address, phone, e-mail, map link, the service periods published for the requested day, whether they are serving right now, and whether they have a gluten-free pantry. Cafes, markets, bakeries, grills, prices and meal plans are out of scope.
Annotations the server declares
- readOnlyHint: true
- openWorldHint: true
search_dishesSearch dish names across the dining halls, or within one hall.Reads text others writeNo findings
Why it is in this group
- The name "search_dishes" 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 Search dish names across the dining halls, or within one hall. The match is a case-insensitive substring match on the dish name.
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 outbound.
- Reads private data1
- Reads files, mail, messages, databases, secrets, calendars or repositories.
- Reads text others write7
- 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 2.0.0. Values in angle brackets are yours to fill in.
claude mcp add --transport http umich-dining https://umich-dining-mcp.duckdns.org/mcpclaude mcp add --transport http umich-dining https://umich-dining-mcp.duckdns.org/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__umich-dining__list_locations",
"mcp__umich-dining__get_menu",
"mcp__umich-dining__search_dishes",
"mcp__umich-dining__get_hours",
"mcp__umich-dining__find_open_now",
"mcp__umich-dining__get_item_nutrition"
],
"ask": [
"mcp__umich-dining__filter_dishes"
],
"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 umich-dining. Review it before you use it.
Capability tags behind 7 rules
- mcp__umich-dining__list_locations private-data, untrusted-input
- mcp__umich-dining__get_menu untrusted-input
- mcp__umich-dining__search_dishes untrusted-input
- mcp__umich-dining__filter_dishes untrusted-input
- mcp__umich-dining__get_hours untrusted-input
- mcp__umich-dining__find_open_now untrusted-input
- mcp__umich-dining__get_item_nutrition 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/io.github.esreddy2/umich-dining-mcp/verify?hash=491fe898e360d694540ca9c180d6a6ae2437e2d80f13ac7609aeb79c0f5c5184" | jq -e '.changed == false'Pinned hash 491fe898e360, from Oct 29, 2026, 07:18 UTC.
Watch
Get told when its tools change: a new tool, a new description, a new class.
https://anlyon.dev/servers/io.github.esreddy2/umich-dining-mcp/changes.xmlAn Atom feed. Works in any feed reader or Slack's RSS app.
Badge
[](https://anlyon.dev/servers/io.github.esreddy2/umich-dining-mcp)Source: MCP Registry · repository. Synced Oct 29, 2026, 07:17 UTC.