"ASDA" matching MCP servers:

• AltSportsLeagues MCP Server

  asd-git-master

  A

  license

  A

  quality

  D

  maintenance

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

  Updated 6 months ago (2026-03-09 18:29 UTC)

  35

  MIT

• agda-mcp

  peterthiemann

  A

  license

  A

  quality

  A

  maintenance

  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.

  Updated 17 days ago (2026-08-07 14:28 UTC)

  18

  289

  MIT

• USDA FoodData Central MCP

  SpyrosBou

  A

  license

  A

  quality

  C

  maintenance

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

  Updated 9 months ago (2025-11-15 13:27 UTC)

  16

  10

  MIT

• AltSportsData MCP Server

  asd-git-master

  A

  license

  B

  quality

  D

  maintenance

  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.

  Updated 6 months ago (2026-03-07 06:59 UTC)

  29

  15

  MIT