"ASDA" matching MCP servers:

Real-time stock quotes, batch quotes, and K-line (candlestick) data for A-share (Shanghai/Shenzhen), Hong Kong, and US markets. Covers 5 tools: stock_quote, stock_quote_batch, kline, market_status, and market_summary.

Enables AI agents and sportsbooks to discover, evaluate, and monitor alternative sports leagues with tools for discovery, valuation, fingerprinting, and market data.

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

MCP-compatible server that gives AI agents access to alternative sports data across 30+ leagues — odds, events, probabilities, settlement, and futures for prediction markets, DFS platforms, and sportsbooks.

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.