Convert concrete expressions into abstract variables for mathematical reasoning, simplification, or proof generation by mapping tokens to symbols and creating structured prompts.
Convert concrete expressions into abstract variables for mathematical reasoning, enabling simplification, proof, and generalization tasks by mapping tokens to symbols.
Search locations, get directions, save favorites, and manage guides with Apple Maps. Perform operations like finding places, pinning locations, creating guides, and planning routes using specified addresses or queries.
Search for Spotify tracks, albums, artists, or playlists using a query, type, and result limit. Simplifies finding music content on Spotify via the MCP server.
Provides access to Google Maps API functionality including places search, geocoding, directions, distance matrix, elevation data, and static map generation through the MCP interface.
MCP-ORTools integrates Google's OR-Tools constraint programming solver with Large Language Models through the MCP, enabling AI models to:
Submit and validate constraint models
Set model parameters
Solve constraint satisfaction and optimization problems
Retrieve and analyze solution
Enables querying and comparing products from MM's retail (B2C) and wholesale (B2B) platforms in Vietnam, including price comparisons, stock availability checks, and multi-store support with Vietnamese language integration.