# UMich Dining (remote · umich-dining-mcp.duckdns.org)

Menus, traits, allergens, nutrition and hours of the ten University of Michigan dining halls.

- Trust score: 77/100 (medium)
- Change this week: +4
- Registry status: active
- Liveness: live
- Owner verified: no
- Last scored: 2026-11-05

## Components

- remote · `umich-dining-mcp.duckdns.org`: 77/100 (this document), [markdown](https://verifymcp.io/servers/esreddy2-umich-dining-mcp/umich-dining-mcp-2.md), [page](https://verifymcp.io/servers/esreddy2-umich-dining-mcp/umich-dining-mcp-2)
- npm · `umich-dining-mcp`: 85/100, [markdown](https://verifymcp.io/servers/esreddy2-umich-dining-mcp/umich-dining-mcp.md), [page](https://verifymcp.io/servers/esreddy2-umich-dining-mcp/umich-dining-mcp)

## Channel facts

- Endpoint: `https://umich-dining-mcp.duckdns.org/mcp`
- Transports: `streamable-http`
- Auth: `none`
- Version: `2.0.0`

## Trust breakdown

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. Scores are 0–100 per category. Scoring method: https://verifymcp.io/docs/scoring (what has changed: https://verifymcp.io/docs/scoring/changelog)

Scored 2026-11-05.

- **Endpoint Security**: 80/100
  - The endpoint's TLS certificate is valid, in date, and uses a strong key.
  - 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.
  - HTTPS is enforced; there's no plaintext access path.
  - The HSTS (Strict-Transport-Security) header is present.
  - DNSSEC check failed: this domain isn't protected by DNSSEC.
- **Transport & Reachability**: 100/100
  - Verified streamable-http transport via a live MCP handshake.
- **Schema Quality & AI Usability**: 81/100
  - 100% of prompts and resources have a non-trivial description (not blank, and not just the item's name).
  - AI-judged instruction clarity (good).
  - Tool/resource definitions use about 943 tokens (~104/item across 9 items; 7 tools + 2 resources), lean.
  - Usage-examples check failed: none of the tools include examples.
- **Stability & Change Management**: 23/100
  - Stability observed for 7 of 30 days with no destabilising changes; credit accrues until the full window elapses.
- **Tool Coverage**: 86/100
  - 100% of tools have a non-trivial description (not blank, and not just the tool's name).
  - 50% of tool parameters carry a description.
  - Structured output schemas are declared (100% of tools); any adoption earns full credit.
- **Tool Safety**: 100/100
  - No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.
  - We read all 7 captured tool definition(s), and no name or description among them implies an irreversible operation.
  - An AI judge read all 8 captured unit(s) of tool text and found none that tries to manipulate the model reading it.
- **Capabilities**: 100/100
  - Implements a current MCP spec version (2026-07-28).

## Install

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

### Claude

```bash
claude mcp add --transport http esreddy2-umich-dining-mcp 'https://umich-dining-mcp.duckdns.org/mcp'
```

### Cursor

```json
{
  "mcpServers": {
    "esreddy2-umich-dining-mcp": {
      "url": "https://umich-dining-mcp.duckdns.org/mcp"
    }
  }
}
```

### VS Code

```json
{
  "servers": {
    "esreddy2-umich-dining-mcp": {
      "type": "http",
      "url": "https://umich-dining-mcp.duckdns.org/mcp"
    }
  }
}
```

### Codex

```toml
[mcp_servers.esreddy2-umich-dining-mcp]
url = "https://umich-dining-mcp.duckdns.org/mcp"
```

### opencode

```json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "esreddy2-umich-dining-mcp": {
      "type": "remote",
      "url": "https://umich-dining-mcp.duckdns.org/mcp",
      "enabled": true
    }
  }
}
```

### OpenClaw

```bash
openclaw mcp add esreddy2-umich-dining-mcp --url 'https://umich-dining-mcp.duckdns.org/mcp' --transport streamable-http
```

### Hermes

```yaml
mcp_servers:
  esreddy2-umich-dining-mcp:
    url: "https://umich-dining-mcp.duckdns.org/mcp"
```

### Netclaw

```json
{
  "McpServers": {
    "esreddy2-umich-dining-mcp": {
      "Transport": "http",
      "Url": "https://umich-dining-mcp.duckdns.org/mcp"
    }
  }
}
```

### Vellum

```bash
assistant mcp add esreddy2-umich-dining-mcp -t streamable-http -u 'https://umich-dining-mcp.duckdns.org/mcp'
```

### Other

```json
{
  "mcpServers": {
    "esreddy2-umich-dining-mcp": {
      "type": "http",
      "url": "https://umich-dining-mcp.duckdns.org/mcp"
    }
  }
}
```

The mcpServers block is a cross-client convention. Remote transports vary, so check your client's docs.

## Changelog

Every change recorded for this component, newest first. Days that predate change tracking, or that we cannot explain, say so: "we were watching and nothing happened" and "we were not watching" are different claims.

### 2026-11-05 (score 77, +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.

### 2026-11-03 (score 76, +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.

### 2026-11-01 (score 75, +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.

### 2026-10-30 (score 74, +1)

- [functional improvement] Stability: unverified → 0.03

### 2026-10-29 (score 73)

First indexed and scored.

## MCP tools (7)

### `list_locations` (~100 tokens)

List dining halls

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.

Input parameters:

- `date` (string): Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days.

Output parameters:

- `date` (string)
- `failures` (array)
- `locations` (array)
- `warning` (string)

### `get_menu` (~120 tokens)

Get a dining hall menu

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.

Input parameters:

- `date` (string): Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days.
- `hall` (string, required): The dining hall to read.
- `meal` (string)

Output parameters:

- `date` (string)
- `hall` (string)
- `hallName` (string)
- `mealLabels` (object)
- `meals` (object)
- `renderedDate` (string|null)
- `stale` (boolean)
- `totalItems` (number)
- `totalStations` (number)

### `search_dishes` (~100 tokens)

Search dishes

Search dish names across the dining halls, or within one hall. The match is a case-insensitive substring match on the dish name.

Input parameters:

- `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, required): Text to look for in the dish names.

Output parameters:

- `date` (string)
- `failures` (array)
- `matches` (array)
- `query` (string)
- `totalMatches` (number)
- `warning` (string)

### `filter_dishes` (~339 tokens)

Filter dishes

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.

Input parameters:

- `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)

Output parameters:

- `date` (string)
- `failures` (array)
- `matches` (array)
- `totalMatches` (number)
- `warning` (string)

### `get_hours` (~75 tokens)

Get dining hall hours

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.

Input parameters:

- `date` (string): Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days.
- `hall` (string)

Output parameters:

- `date` (string)
- `halls` (array)

### `find_open_now` (~35 tokens)

Find halls that are open now

Return the dining halls that are serving at the current time, and the ones that are not, with the service periods of today.

Output parameters:

- `closed` (array)
- `date` (string)
- `failures` (array)
- `open` (array)

### `get_item_nutrition` (~126 tokens)

Get a dish nutrition panel

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.

Input parameters:

- `date` (string): Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days.
- `hall` (string, required): The dining hall to read.
- `item` (string, required): The dish name.

Output parameters:

- `allergens` (array)
- `carbonFootprint`
- `date` (string)
- `hall` (string)
- `hallName` (string)
- `meal` (string)
- `mhealthyTier` (number|null)
- `name` (string)
- `nutrition` (object)
- `station` (string)
- `traitLabels` (object)
- `traits` (array)
- `warning` (string)

## Diagnostics

Captured diagnostic sections: TLS, DNSSEC, Authorisation, Transports. The full working is on the page: https://verifymcp.io/servers/esreddy2-umich-dining-mcp/umich-dining-mcp-2#diagnostics

## Score history

- 2026-11-05: 77
- 2026-11-04: 76
- 2026-11-03: 76
- 2026-11-02: 75
- 2026-11-01: 75
- 2026-10-31: 74
- 2026-10-30: 74
- 2026-10-29: 73

## Common questions

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

## Links

- Remote endpoint: https://umich-dining-mcp.duckdns.org/mcp
- Repository: https://github.com/esreddy2/UMich-dining-mcp
- Changelog RSS feed: https://verifymcp.io/servers/esreddy2-umich-dining-mcp/umich-dining-mcp-2.xml
- Changelog JSON feed: https://verifymcp.io/servers/esreddy2-umich-dining-mcp/umich-dining-mcp-2/changelog.json
- Trust report (JSON): https://verifymcp.io/servers/esreddy2-umich-dining-mcp/umich-dining-mcp-2.json
- HTML version of this page: https://verifymcp.io/servers/esreddy2-umich-dining-mcp/umich-dining-mcp-2