"ASDA" matching MCP servers:

MCP server that provides food composition data from USDA FoodData Central, enabling search, nutrient lookups, and recipe nutrition calculations.

AI development observability platform. It silently captures structured data from vibe coding sessions via MCP and codifies deviation patterns into project rules to make AI write better code. 100% local and zero runtime dependencies.

Enables searching and retrieving nutrition data from the USDA FoodData Central API, with tools for food search, nutrient lookups, and bulk operations.

MCP server for Ark: Survival Ascended that enables RCON-based administration commands such as listing players, broadcasting messages, saving the world, and reading the game log.

Enables AI agents to pay USDC per call for Asia market intelligence data via HTTP 402 protocol, no API keys or subscriptions required.

Provides an MCP interface for Agda's JSON interaction protocol, enabling type checking and interactive editing of Agda modules with support for workspace management and non-blocking operations.

Enables AI agents to perform security audits on pull request diffs by detecting secrets, dangerous code patterns, and new dependencies, outputting structured JSON for generating PR review comments.

Enables ChatGPT and Codex users to match grocery items against retailer product candidates, explain those matches, and convert recipes into scaled shopping lists for Ocado, Waitrose, Tesco or Asda. It also prepares a retailer URL and copyable list for a Chrome extension handoff, leaving the user to review the basket and check out themselves.

Provides tools to search and retrieve USDA Food Data Central information, including food items, nutrients, and food groups, enabling AI agents to query food data through natural language.

Enables querying USDA-NRCS SSURGO soil data by coordinates or SQL, returning map units, named soil series, taxonomy, drainage, slope, depth horizons, and other survey attributes.

Enables searching USDA foods, comparing nutrients, and accessing the full FoodData Central database via MCP tools and resources.

Enables AI agents to manage Cardano wallets, check balances, send ADA and native assets, and settle atomic swaps via a built-in MCP server.

Enables searching USDA AMS Livestock Mandatory Price Reporting market news reports and reading dated price rows — direct slaughter cattle, boxed beef and pork cutouts, hogs and lamb — keeping low, high and weighted-average prices separate with each report's own basis fields. It also reports clearly when a requested date, section or commodity family has no AMS coverage instead of returning empty results.

A stateful Model Context Protocol server for interactive Agda proof development, enabling persistent sessions with goal-aware proof actions.

Enables AI agents to pay x402 endpoints on Cardano through a policy-gated wallet with spend caps, payee allowlists, human approval, and an audit log.

MCP server that converts user requests into deliberately poor drawing prompts, enabling ChatGPT to render intentionally shabby sketches instead of realistic images.

Enables AI assistants to manage Google Calendar events and Gmail emails through natural language. Supports creating/listing calendar events with smart color coding, sending/reading emails, and advanced search capabilities across both services.