UMich Dining
REMOTE · UMICH-DINING-MCP.DUCKDNS.ORG · 2 COMPONENTS
Menus, traits, allergens, nutrition and hours of the ten University of Michigan dining halls.
Available components
Last scanned (8 hours ago)
Scores higher than 69% of remote servers
Reachable. Last reached 5 Nov 2026.
Category Maps and Location
How this component scores in each security and reliability category. Every signal is checked automatically against the live server, and we only credit what we can confirm. How we score → Why this is hard to score →
Endpoint Security80
- The endpoint's TLS certificate is valid, in date, and uses a strong key. View diagnostics → Pass
- No authorisation is required to call this server. Nothing on it is marked destructive, but we can't show that an anonymous caller can only read: full credit needs the server to list at least one tool and every tool to be verifiably read-only. We use a best-effort check of tool names and descriptions to tell read-only tools from tools that change things, so some genuinely read-only tools may not get full credit. Names that start with a read verb (get, list, read, search and similar) and accurate readOnlyHint annotations help. Meet that to earn full credit, or require authorisation. See how to fix → View diagnostics → Partial
- HTTPS is enforced; there's no plaintext access path. View diagnostics → Pass
- The HSTS (Strict-Transport-Security) header is present. View diagnostics → Pass
- DNSSEC check failed: this domain isn't protected by DNSSEC. See how to fix → View diagnostics → Fail
Transport & Reachability100
- Verified streamable-http transport via a live MCP handshake. View diagnostics → Pass
Schema Quality & AI Usability81
- 100% of prompts and resources have a non-trivial description (not blank, and not just the item's name).Pass
- AI-judged instruction clarity (good).Pass
- Tool/resource definitions use about 943 tokens (~104/item across 9 items; 7 tools + 2 resources), lean.Pass
- Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management23
- Stability observed for 7 of 30 days with no destabilising changes; credit accrues until the full window elapses.Partial
Tool Coverage86
- 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
- 50% of tool parameters carry a description.Partial
- Structured output schemas are declared (100% of tools); any adoption earns full credit.Pass
Tool Safety100
- No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
- We read all 7 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
- An AI judge read all 8 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities100
- Implements a current MCP spec version (2026-07-28).Pass
Checks we ran (13)
- TLS certificate
- Authorization
- HTTPS
- HSTS header
- DNSSEC
- Transport
- Schema quality
- Stability
- Tool coverage
- Injection markers
- Destructive annotations
- Judged manipulation
- MCP protocol
Does not apply to this hosted endpoint (2)
- Supply Chain SecurityScored on package channels only. This is a hosted endpoint, so there is nothing to install or inspect.
- Provenance & TransparencyScored on package channels only. This is a hosted endpoint, so there is nothing to install or inspect.
The score does not measure everything. What the score does not measure →
Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.
- 5 Nov 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 20 to 23. That category is still filling its 30-day observation window: 6 days of observed history at the previous scan, 7 at this one. The score rises as the window fills, whether or not the server changes.
- 3 Nov 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 13 to 17. That category is still filling its 30-day observation window: 4 days of observed history at the previous scan, 5 at this one. The score rises as the window fills, whether or not the server changes.
- 1 Nov 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 7 to 10. That category is still filling its 30-day observation window: 2 days of observed history at the previous scan, 3 at this one. The score rises as the window fills, whether or not the server changes.
- 30 Oct 26 +1
- Stability: unverified → 0.03 ▲ functional
- 29 Oct 26 73
First indexed and scored.
Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.
Captured 5 Nov 2026 · Probed https://umich-dining-mcp.duckdns.org/mcp
TLS valid
Negotiated TLS 1.3 with TLS_AES_128_GCM_SHA256 .
| Subject | Issuer | Valid from | Valid until | Key | Signature | Serial |
|---|---|---|---|---|---|---|
| CN=umich-dining-mcp.duckdns.org | CN=YE1,O=Let's Encrypt,C=US | 21 Oct 2026 | 19 Jan 2027 | ECDSA 256 | ECDSA-SHA384 | 5c80db819707c58585bf5e089abaec6f3df |
| SANs: umich-dining-mcp.duckdns.org | ||||||
| CN=YE1,O=Let's Encrypt,C=US (CA) | CN=Root YE,O=ISRG,C=US | 3 Sept 2025 | 2 Sept 2028 | ECDSA 384 | ECDSA-SHA384 | 5ddd70dd31f801c85c186a7a04b80afe |
| CN=Root YE,O=ISRG,C=US (CA) | CN=ISRG Root X2,O=Internet Security Research Group,C=US | 13 May 2026 | 2 Sept 2032 | ECDSA 384 | ECDSA-SHA384 | 872165fc34b6e5fba8add5b3705fb53a |
| CN=ISRG Root X2,O=Internet Security Research Group,C=US (CA) | CN=ISRG Root X1,O=Internet Security Research Group,C=US | 13 May 2026 | 2 Sept 2032 | ECDSA 384 | SHA256-RSA | 6c8f1dc727c7117f7baf853ac980f9cd |
Background: What to check on a remote MCP endpoint →
DNSSEC insecure
Validation of umich-dining-mcp.duckdns.org. — Not signed
| Zone | DS | Keys | Algorithms | Outcome |
|---|---|---|---|---|
| . | Trust anchor | 20326, 38696 | 8, 8 | Verified |
| org. | DS published | 725, 26974 | 8, 8 | Verified |
| duckdns.org. | No DS | Unsigned (proven) parent-signed NSEC/NSEC3 proves an unsigned delegation |
Authentication No authorisation required
The endpoint answered without asking for a token. Anyone who knows the URL can reach it.
| Result | No authorisation required |
|---|---|
| HTTP status | 200 |
| Header | Value |
|---|---|
| strict-transport-security | max-age=31536000 |
| x-content-type-options | nosniff |
Background: How OAuth 2.1 works in the 2026 MCP spec →
Transports 2 probes
| Transport | URL | Outcome | Status | Location |
|---|---|---|---|---|
| streamable-http | https://umich-dining-mcp.duckdns.org/mcp | Verified | 200 | |
| http (plaintext) | http://umich-dining-mcp.duckdns.org/mcp | HTTPS enforced | 308 | https://umich-dining-mcp.duckdns.org/mcp |
The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →
filter_dishes Filter dishes ~339
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.
| Name | Type | Req | Description |
|---|---|---|---|
| date | string | – | Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days. |
| exclude_allergens | array | – | – |
| hall | string | – | – |
| limit | integer | – | – |
| max_calories | number | – | – |
| max_carbon | string | – | – |
| max_sodium_mg | number | – | – |
| min_mhealthy | integer | – | – |
| require_traits | array | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| date | string | yes | – |
| failures | array | yes | – |
| matches | array | yes | – |
| totalMatches | number | yes | – |
| warning | string | yes | – |
No examples provided.
find_open_now Find halls that are open now ~35
Return the dining halls that are serving at the current time, and the ones that are not, with the service periods of today.
Input schema present but exposes no named parameters.
| Name | Type | Req | Description |
|---|---|---|---|
| closed | array | yes | – |
| date | string | yes | – |
| failures | array | yes | – |
| open | array | yes | – |
No examples provided.
get_hours Get dining hall hours ~75
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.
| Name | Type | Req | Description |
|---|---|---|---|
| date | string | – | Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days. |
| hall | string | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| date | string | yes | – |
| halls | array | yes | – |
No examples provided.
get_item_nutrition Get a dish nutrition panel ~126
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.
| Name | Type | Req | Description |
|---|---|---|---|
| date | string | – | Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days. |
| hall | string | yes | The dining hall to read. |
| item | string | yes | The dish name. |
| Name | Type | Req | Description |
|---|---|---|---|
| allergens | array | yes | – |
| carbonFootprint | – | yes | – |
| date | string | yes | – |
| hall | string | yes | – |
| hallName | string | yes | – |
| meal | string | yes | – |
| mhealthyTier | number|null | yes | – |
| name | string | yes | – |
| nutrition | object | yes | – |
| station | string | yes | – |
| traitLabels | object | yes | – |
| traits | array | yes | – |
| warning | string | yes | – |
No examples provided.
get_menu Get a dining hall menu ~120
Get the menu of one dining hall: meals, stations and dishes, with each dish's traits (Vegan, Halal, Gluten Free, Nutrient Dense tier, Carbon Footprint tier), allergens and nutrition panel. The date defaults to today; the site publishes menus for today-3 days to today+14 days.
| Name | Type | Req | Description |
|---|---|---|---|
| date | string | – | Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days. |
| hall | string | yes | The dining hall to read. |
| meal | string | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| date | string | yes | – |
| hall | string | yes | – |
| hallName | string | yes | – |
| mealLabels | object | yes | – |
| meals | object | yes | – |
| renderedDate | string|null | yes | – |
| stale | boolean | yes | – |
| totalItems | number | yes | – |
| totalStations | number | yes | – |
No examples provided.
list_locations List dining halls ~100
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.
| Name | Type | Req | Description |
|---|---|---|---|
| date | string | – | Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days. |
| Name | Type | Req | Description |
|---|---|---|---|
| date | string | yes | – |
| failures | array | yes | – |
| locations | array | yes | – |
| warning | string | yes | – |
No examples provided.
search_dishes Search dishes ~100
Search dish names across the dining halls, or within one hall. The match is a case-insensitive substring match on the dish name.
| Name | Type | Req | Description |
|---|---|---|---|
| date | string | – | Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days. |
| hall | string | – | Restrict the search to one hall. |
| limit | integer | – | – |
| query | string | yes | Text to look for in the dish names. |
| Name | Type | Req | Description |
|---|---|---|---|
| date | string | yes | – |
| failures | array | yes | – |
| matches | array | yes | – |
| query | string | yes | – |
| totalMatches | number | yes | – |
| warning | string | yes | – |
No examples provided.
How do I install the UMich Dining MCP server?
UMich Dining is a hosted endpoint at https://umich-dining-mcp.duckdns.org/mcp, so there is nothing to install locally. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.
remote · umich-dining-mcp.duckdns.org
claude mcp add --transport http esreddy2-umich-dining-mcp 'https://umich-dining-mcp.duckdns.org/mcp'
What is the UMich Dining MCP server?
UMich Dining is an MCP server listed in the public MCP registry as io.github.esreddy2/umich-dining-mcp. Menus, traits, allergens, nutrition and hours of the ten University of Michigan dining halls. This page covers its hosted endpoint (https://umich-dining-mcp.duckdns.org/mcp).
Is the UMich Dining MCP server safe to use?
UMich Dining scores 77 out of 100 on VerifyMCP. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.
What tools does the UMich Dining MCP server expose?
UMich Dining exposes 7 tools: list_locations, get_menu, search_dishes, filter_dishes, get_hours, and 2 more. Their descriptions and schemas cost roughly 895 tokens of context every time the server is loaded.
Does the UMich Dining MCP server require authentication?
No. We connected to UMich Dining without credentials and it answered, so anything it exposes is reachable by anyone who knows the address.
Is the UMich Dining MCP server still maintained?
UMich Dining is still listed as active in the MCP registry. We last reached this channel on 5 November 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.
What did VerifyMCP test on the UMich Dining MCP server?
VerifyMCP ran 13 checks on UMich Dining, covering TLS certificate, Authorization, HTTPS, HSTS header and 9 more. Supply Chain Security and Provenance & Transparency do not apply to a hosted endpoint, so they were not tested. The score does not measure everything, and the scoring documentation lists what it leaves out.