"ASDA" matching MCP servers:

An MCP server that provides a USDA-accurate food database with deterministic macro math, enabling tools like list_foods, get_food, calculate_macros, filter_by_diet, build_meal, and list_available_tags. It allows Claude to look up nutrition facts and solve for exact macro targets offline, without AI or network.

A high-performance MCP server providing long-term memory storage with semantic and keyword search capabilities, using SQLite and fastembed for sub-200ms queries.

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.

A high-performance MCP server providing long-term memory storage with semantic and keyword search, along with a structured agenda engine for task management.

Provides a complete agency operating system with 20+ roles (strategy, creative, marketing, etc.) accessible via MCP and includes a Pixel Office visualizer for interactive simulation.

MCP server for Agda, providing type checking, go-to-definition, case splitting, auto proof search, and more directly from Claude Code or any MCP client.

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.

An MCP server that provides semantic Ada language features like navigation, diagnostics, and code intelligence to AI coding agents by wrapping the Ada Language Server.

Enables a local coding agent to control and inspect an Android phone over the user's own Wi-Fi, with on-device consent and an app blocklist. Provides tools to read the screen, take screenshots, tap, swipe, type, scroll, and navigate Back, Home, or Recents.

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

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.

Enables AI clients to automate Xiaohongshu through Playwright, including login, searching and retrieving notes/comments/feeds, analyzing images, interacting via comments/likes/favorites, and publishing or deleting notes with anti-detection measures.