"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

This MCP wraps Bitrefill public API to allow agents to search for products and shop using cryptocurrencies like Bitcoin, Ethereum, Solana, and many more.

Complete Vinted MCP and CLI Server

Provides structured dealer brand data including inventory, promotions, reviews, and dealer profile via MCP tools, enabling LLMs to answer accurate brand-related queries.

Lets any MCP-compatible AI agent search live resort inventory, request exact all-in quotes including transfers, and start real hotel bookings that the traveler completes on a hosted Stripe checkout.

Enables decoding VINs into complete vehicle specifications, searching active used car listings from US dealers, and retrieving vehicle valuations with total cost of ownership estimates.

An MCP server that exposes tools for querying a bookstore inventory, allowing AI agents to search and retrieve book information via the Model Context Protocol.

Automotive Data for AI Agents

Enables querying sales data, identifying out-of-stock products, viewing top sellers, and receiving restock suggestions through natural language.

Model Context Protocol server for the GlobKurier API. Enables AI assistants (Claude, Cursor, Cline and others) to track shipments, search shipping products and generate purchase links.

Enables estimating used-car market values from comparable Leboncoin listings, providing listing details and exclusion reasons to inform valuations.

Provides MCP tools for searching and comparing products on Wildberries (and Ozon planned), including product search, detailed card retrieval, and review fetching, normalized for LLM consumption.

Jewellery sizing and gemstone grading tools by FITINY. Carat-to-millimetre conversion for moissanite, diamond and cubic zirconia corrected for each stone's density — every chart online is calculated for diamond, which is wrong for moissanite by about 9%. Also covers GIA colour (D-K) and clarity (FL-SI) scales, ISO 8653 ring size conversion across US/UK/EU, necklace lengths and stud diameter.

A proof of concept MCP server for Apache OFBiz

Enables agents to access 30 pay-per-event Apify actors for ad, video, reel, and audio transcripts; Google Trends and keyword demand; job boards; Amazon product data; and Instagram data, charging only per delivered item.

A free WordPress plugin that turns your site into a governed MCP server, exposing 153 curated WordPress abilities (posts, media, users, WooCommerce, ACF, SEO) as tools for AI agents like Claude and Cursor. Every ability is off by default, scoped to a least-privilege user, capability-gated, and logged.

Enables AI assistants to check order status and prepare versioned address change proposals that require application-owned approval.

Enables role-based order management through MCP tools, allowing users to view and refund orders according to their permissions (USER, MANAGER, ADMIN) with audit logging and JWT authentication handled by a FastAPI client.

Provides MCP tools to query and manage a computer store's catalogue, stock, prices, promotions, installment plans, quotes, reservations, and orders, backed by PostgreSQL.

MCP server for AI agents providing 300 curated Japanese home & lifestyle products across 31 categories. Features mm-precision dimension search, related-item chains (1 product → 3-5 accessories), shelf+storage coordination, and Rakuten/Amazon affiliate links.

Search for local businesses worldwide. Structured data optimized for AI agents. • Search Millions of businesses over 49 countries (Europe, Northamerica, Southamerica, Asia, Oceania) • Quality & demand scoring for every business • Ranking based on real user click-through data • No API key needed, free access • Rate limit: 500 requests/hour per IP