Skip to content
verify mcp Beta VerifyMCP is currently in beta. If you notice any issues, get in touch and we’ll put it right.

UMich Dining

NPM · UMICH-DINING-MCP · 2 COMPONENTS

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

+14 this week 85 Trust /100

Last scanned (10 hours ago)

Scores higher than 87% of npm servers

Category Maps and Location

Trust breakdown (7 categories)

How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. How we score → Why this is hard to score →

Supply Chain Security99
  • No malware found by supply-chain analysis.Pass
  • No known CVEs affecting this package version or its production dependencies.Pass
  • No install/post-install scripts declared.Pass
  • 3 of 28 dependencies flagged as unhealthy (1 deprecated). View diagnostics → Partial
Provenance & Transparency97
  • Source repository is publicly reachable at the declared URL. View diagnostics → Pass
  • Cryptographically verified build provenance (signed, bound to esreddy2/UMich-dining-mcp). View diagnostics → Pass
  • Clear OSI-approved license (MIT).Pass
  • Actively maintained (last published 6 days ago).Pass
  • Disclosure check failed: no security disclosure policy was found in the source repository. See how to fix → Fail
Schema Quality & AI Usability75
  • 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
  • Context-footprint check failed: tool/resource definitions use about 1591 tokens (~159/item across 10 items; 8 tools + 2 resources), over budget; trim descriptions and params. See how to fix → Fail
  • Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management29
  • Stability check failed: the tool surface changed between 0.1.1 and 2.0.0: 1 tool removals, 1 breaking changes, 2 additions. See how to fix → Fail
Tool Coverage100
  • 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
  • 100% of tool parameters carry a description.Pass
  • 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 8 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
  • An AI judge read all 10 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
What we tested

Checks we ran (16)

  • Malware scan
  • Known CVEs
  • Install scripts
  • Dependency health
  • Source repository
  • Provenance
  • License
  • Maintenance
  • Security disclosure
  • Schema quality
  • Stability
  • Tool coverage
  • Injection markers
  • Destructive annotations
  • Judged manipulation
  • MCP protocol

Does not apply to this package (2)

  • Endpoint SecurityScored on hosted endpoints only. A package has no live endpoint of its own for us to probe.
  • Transport & ReachabilityScored on hosted endpoints only. A package has no live endpoint of its own for us to probe.

The score does not measure everything. What the score does not measure →

Changelog

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 25 to 29.

  • 3 Nov 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 19 to 22.

  • 1 Nov 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 12 to 15.

  • 30 Oct 26 +11
    • Known CVEs: unverified → pass ▲ security
    • Dependency health: unverified → 0.95 ▲ functional
  • 29 Oct 26 −10
    • Stability: unverified → fail ▼ security
    • Known CVEs: pass → unverified ▼ security
    • Tool safety: pass → unverified ▼ security
    • Stability: Stability not yet verified: we do not have a sandbox capture of the MCP schema this version of the package serves yet. security
    • Dependency health: 0.95 → unverified ▼ functional
    • Capabilities: pass → unverified ▼ functional
    • Tool coverage: 100 → unverified ▼ functional
    • Schema quality: 100 → unverified ▼ functional
    • Schema quality: pass → fail ▼ functional
    • Tool coverage: 50% → 100% ▲ functional
    • Package version: 0.1.1 → 2.0.0 functional
  • 22 Oct 26 +15
    • Malware scan: unverified → pass ▲ security
  • 21 Oct 26 66

    First indexed and scored.

Diagnostics

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 · Analysed npm/umich-dining-mcp@2.0.0

Provenance Verified

A signed build attestation was found and verified, binding this exact artifact to the source repository it claims to come from.

Result Verified
Ecosystem npm
Reason Verified
Discovered via Registry attestation endpoint
Source repo esreddy2/UMich-dining-mcp
Certificate issuer https://token.actions.githubusercontent.com
Certificate SAN https://github.com/esreddy2/UMich-dining-mcp/.github/workflows/publish.yml@refs/heads/feat/rebuild
Rekor log index 3560809724
Predicate type SLSA build provenance https://slsa.dev/provenance/v1
Subject digest sha512:c2c303a366cf838472411d3ec04c6e2f48ec647016ee4a74f1be85b6deb5c1018de1df79bd3ac9e645a54c54446f5dbcdd0de8a92e2e05d437485fd0b

Background: How many MCP packages publish verified provenance →

Dependencies 28 packages
Packages resolved 28
Deprecated 1
Stale 3
Tree resolution Complete

Background: SBOMs and build attestations, explained →

MCP tools · 8 exposed · ~1,447 tokens

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 →

Tool Tokens
filter_dishes ~508

Filter dining hall menus by allergen, trait, nutrient density, carbon, calories, sodium and name. All params optional. Allergens/traits are slugs; read key for codes. min_mhealthy: keep tiers >= (1-5). max_carbon: keep tiers <= (1 low, 2 medium, 3 high). nutrients: range per nutrient. query: case-insensitive substring. Rows are coded arrays; read key. stale means expired cache; asOf data age. Allergens advisory.

NameTypeReqDescription
datestring–A single day to filter. Cannot be combined with from/to.
exclude_allergensarray–Keeps only the dishes that carry none of these allergens.
fromstring–The first day of a range to filter.
hall––Halls: one, a list, or none for all.
include_nutrientsarray–Nutrients to return, by key/name, or ["all"].
limitinteger–Rows to return (default 50, max 500).
max_carboninteger–The highest acceptable carbon footprint: 1 (low), 2 (medium) or 3 (high). The dishes the site did not tag are dropped.
mealstring–Keeps only that meal.
min_mhealthyinteger–The lowest acceptable nutrient-density tier. The dishes the site did not tag are dropped.
nutrientsobject–Range per nutrient, e.g. {"protein":{"min":20,"unit":"g"}}. A constraint drops dishes with no value.
offsetinteger–Pages of the range to skip.
querystring–A case-insensitive substring of the dish name.
require_traitsarray–Keeps only the dishes that carry every one of these traits.
sort_bystring–Sort field: a nutrient key, carbonFootprint, a micronutrient name, servingSize, mhealthyTier, or a ratio "numerator:denominator" (e.g. "protein:calories", "vitaminA:iron"). Legacy: proteinToCalorie,…
sort_orderstring–The direction of the sort. It defaults to desc, so the biggest value comes first.
stationstring–Keeps only that station.
tostring–The last day of a range to filter. Defaults to the last published day.
NameTypeReqDescription
asOfstring––
coverageobject––
datestring––
dateRangeobject––
failuresarrayyes–
filterobject––
flagsobject––
keyobjectyes–
matchesarrayyes–
noMenuarray––
notestring––
nutrientsarray––
stalebooleanyes–
totalMatchesnumberyes–
truncatedbooleanyes–
unitsobject––

No examples provided.

find_open_now ~139

The dining halls that are serving at the given time of day, and the ids of the ones that are not, with the service periods of the day for the halls that are open. Without arguments the current campus-local time is used, and the response says which time it resolved. open carries the hall details and today's periods; closed carries hall ids only. stale means a page was served from an expired cache entry; asOf is the age of the data.

NameTypeReqDescription
atstring–The campus-local time of day to look at. Defaults to the current time.
datestring–The day to look at. Defaults to today.
NameTypeReqDescription
asOfstring––
atstringyes–
closedarrayyes–
datestringyes–
failuresarrayyes–
openarrayyes–

No examples provided.

get_dining_occupancy ~55

Real-time occupancy for monitored dining halls: current count, patron flow, total capacity, and percent full. Only halls with sensors are returned.

NameTypeReqDescription
hall––Keep only this hall, or a list of halls.
NameTypeReqDescription
observedAtstringyes–
readingsarrayyes–

No examples provided.

get_hours ~159

Get the service periods published for a dining hall on the requested day, plus the regular weekly schedule. Accepts one hall, a list, or none for all (like filter_dishes). today is the day's published service periods and regular is the weekly schedule. A hall that cannot be read is reported in the failures and the other halls are still returned. The response carries the weekday name of the requested date. stale means the data is from cache and may be slightly old, but is still the best available; asOf is the age. Re-call only if you need guaranteed-fresh data.

NameTypeReqDescription
datestring–The day to read. Defaults to today.
hall––Halls: one, a list, or none for all.
NameTypeReqDescription
asOfstring––
datestringyes–
failuresarrayyes–
hallsarrayyes–
weekdaystring––
weeklyobject––

No examples provided.

get_item_nutrition ~179

Get the full nutrition panel of one dish. Name matched case-insensitively; exact match wins, else unique substring. Dish row uses the same coded layout as the sweep tools. Panel values are numbers with one units map; micronutrient amount is the derived amount, with the published percent behind it. asOf data age. Allergens advisory. Use this only when you need the full panel for a single dish. For multiple dishes, use filter_dishes with include_nutrients instead.

NameTypeReqDescription
datestring–Date YYYY-MM-DD. Site publishes today-3..+14 days.
hallstringyesThe dining hall to read.
itemstringyesThe dish name.
mealstring–Narrow the search to one meal.
stationstring–Narrow the search to one station.
NameTypeReqDescription
allergensarrayyes–
asOfstring––
carbonFootprint–yes–
datestringyes–
hallnumberyes–
keyobjectyes–
mealnumberyes–
mhealthyTiernumber|nullyes–
namestringyes–
nutritionobjectyes–
stationnumberyes–
traitsarrayyes–
unitsobject––
warningstringyes–

No examples provided.

get_menu ~197

Get the menu of one dining hall: meals, stations and dishes. Rows: [name, traits, allergens, mhealthyTier, calories, servingSize, servingSizeGrams] plus nutrients. traits/allergens are codes; read key. With no meal, the meal being served now is returned (or next if closed). Date defaults to today; site publishes today-3..+14. stale means expired cache; asOf data age. Allergens advisory.

NameTypeReqDescription
datestring–The day to read. Defaults to today.
hallstringyesThe dining hall to read.
include_nutrientsarray–Nutrients to return, by key/name, or ["all"].
meal––Keeps only those meals: one name, or a list of them. When it is left out, the meal the hall is serving right now is used.
stationstring–Keeps only that station.
NameTypeReqDescription
asOfstring––
datestringyes–
hallstringyes–
keyobjectyes–
mealsarrayyes–
notestring––
nutrientsarray––
renderedDatestring––
stalebooleanyes–
totalItemsnumberyes–
totalStationsnumberyes–
unitsobject––
unknownMealLabelsarrayyes–

No examples provided.

list_locations ~117

List the dining halls and their service periods for the day, with whether they are open now. openNow is evaluated at the current campus-local time. The entries are the halls and their service periods for the day. stale means a page was served from an expired cache entry; asOf is the age of the data. Cafes, markets, bakeries, grills, prices and meal plans are out of scope.

NameTypeReqDescription
datestring–The day to read. Defaults to today.
hallstring–Keep only this hall.
NameTypeReqDescription
datestringyes–
failuresarrayyes–
locationsarrayyes–
mapUrlTemplatestring––

No examples provided.

list_nutrition_fields ~93

List the canonical nutrient identifiers, their units, the alternative units a threshold may be written in, and the Daily Value basis of the published micronutrients. A constraint on a nutrient excludes the dishes that publish no value for it, and a value the site writes as "trace" or "< 1%" is missing rather than zero. sortFields includes servingSize, mhealthyTier and ratio syntax "a:b".

Input schema present but exposes no named parameters.

NameTypeReqDescription
acceptedUnitsobjectyes–
fieldsarrayyes–
micronutrientsarrayyes–
notesarrayyes–
sortFieldsarrayyes–

No examples provided.

Install

How do I install the UMich Dining MCP server?

UMich Dining runs locally as an npm package, launched with npx -y umich-dining-mcp. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.

npm · umich-dining-mcp

# add to Claude Code
claude mcp add esreddy2-umich-dining-mcp -- npx -y umich-dining-mcp
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 npm package (umich-dining-mcp).

Is the UMich Dining MCP server safe to use?

UMich Dining scores 85 out of 100 on VerifyMCP. We found no known CVEs affecting it as of 5 November 2026. It declares no install or post-install scripts. Its build provenance is signed and verified. 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 8 tools: list_locations, get_menu, filter_dishes, list_nutrition_fields, get_hours, and 3 more. Their descriptions and schemas cost roughly 1,447 tokens of context every time the server is loaded.

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 licence is the UMich Dining MCP server under?

UMich Dining declares the MIT licence, which is OSI-approved. That covers the source only, and says nothing about the cost of any service it calls.

What did VerifyMCP test on the UMich Dining MCP server?

VerifyMCP ran 16 checks on UMich Dining, covering Malware scan, Known CVEs, Install scripts, Dependency health and 12 more. Endpoint Security and Transport & Reachability do not apply to an npm package, so they were not tested. The score does not measure everything, and the scoring documentation lists what it leaves out.