"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:
GET /v1/connectors – MCP directory API referenceMatching Connector Tools:
McClipFace finds current coupon codes, promo codes, deals and discounts for stores and products.
NeuralVerge is the data layer for agentic AI. Ask a question in plain language and get a structured, cited answer drawn from 300+ sources — e-commerce marketplaces, corporate registries, company intelligence, enrichment and social — plus the open web. Connect over MCP or REST. What's inside: • E-commerce & marketplaces — 128 sources: Amazon, eBay, Walmart, AliExpress, Alibaba, Shopify, Target, Zalando, Rakuten, Flipkart and more • Corporate registries — 95: UK, France, Spain, the Netherlands, Sweden, Norway, Poland, Brazil, Canada, Australia and more • Startup & funding data — 93: Dealroom, PitchBook, Tracxn, Owler, Product Hunt, Y Combinator, Wellfound, Kickstarter, Indiegogo, Seedrs and more • Company intelligence — 16: Crunchbase, Gartner Peer Insights, Capterra, Trustpilot • B2B data — 7: Company and people search, Company and people profiles, Company employees • Enrichment: Email lookup, Phone lookup, LinkedIn Finder, Email finder Teams use NeuralVerge for agentic products, go-to-market, outbound, market research, competitor analysis, brand monitoring, public procurement, e-commerce intelligence, due diligence, KYC/KYB and recruiting. Works with Claude, ChatGPT, Gemini, Cursor and any MCP client. → neuralverge.ai
Real Amazon (US, UK, DE, CA, AU) & Walmart shopping data for AI assistants: ranked product shortlists, current prices, live stock, real ratings, and price/BSR history from a 17M+ product warehouse. Free hosted endpoint, no signup — 30 queries a day.
Products, carts, reorders, quotes, property and vehicle visits from Brazilian stores for AI agents.
MONO eSIM is a remote MCP server for AI agents to discover international travel eSIM data plans, compare prices, and access eSIM purchasing and activation workflows. Designed for autonomous AI agents, travel assistants, and automated connectivity services worldwide.
Send birthday cards, Christmas cards, thank-you cards, sympathy cards, congratulations cards and postcards. Paddock prints and mails them for you. Choose a postcard, flat card or folded greeting card; personalize the message, use catalog artwork or your own photo, and send one card or a mixed batch. Preview is optional. Approve each exact purchase in Stripe Link and let your agent finish payment, or pay through secure checkout. No Paddock account is required.
Get recommended by Amazon's AI. Hosted MCP server for Amazon listing compliance & generation.
Facebook & Instagram data for AI agents: pages, posts, groups, ads, Marketplace, profiles, reels.
Print-on-demand from Germany: turn your saved designs into products and publish them to your Shopify, Etsy, WooCommerce or TikTok store in about two minutes. Browse the product catalog, upload designs and neck prints, set your price and publish; the assistant asks before anything goes live. Sign in with your MarketPrint account (OAuth).
Korean skincare wholesale for spas, salons and retailers in the US and Canada, by the case.
SuperCatch connects your AI assistant to a trading-card and collectibles marketplace. Discover cards, inspect listing prices and availability, find seller storefronts, and review your own account or store data through focused MCP tools. ## For collectors Search listings by player, set, year, or keyword. Look up a product's current price, condition, availability, and active-listing count, then open the canonical SuperCatch page. Connect your account to read your purchases, order statuses, and watchlist, including saved price-alert targets. ## For sellers Review your store's listings, prices, quantities, inventory totals, and recent orders. Seller tools use the approved store owned by the connected account. ## Review pricing changes Preview one-time price changes for RAW, graded, or all cards. Choose At Market, Above Market, or Move Fast, and review increases, decreases, or both. Proposals use condition- or grade-specific market guidance and applicable pricing limits. Review exact prices and skipped listings in SuperCatch, then explicitly confirm Apply. Each batch covers up to 50 cards; reviews expire after 10 minutes and changed proposals require fresh approval. ## Plan ongoing repricing and marketplace publishing Prepare separate proposals for recurring repricing or publishing through your connected marketplace integrations. Review the affected cards, settings, connection, and safeguards inside SuperCatch before confirming. Graded automatic repricing requires explicit enrollment and suitable grade-specific comps. These preview tools do not activate automation, publish listings, or change prices directly. ## Try asking - Find Michael Jordan cards on SuperCatch. - Show my recent purchases and order statuses. - Which cards are on my watchlist? - Summarize my store inventory and recent orders. - Preview Above Market prices for my graded cards. - Prepare an automatic-repricing proposal for my RAW cards. - Find public documentation about managing listings. ## Connect and control access Add https://supercatch.com/api/mcp to a compatible MCP client using Streamable HTTP. Public marketplace, product, storefront, and public-documentation reads need no SuperCatch account. Private tools require sign-in and OAuth consent. Account documentation requires docs:read; staff guides also check your current role. Review or revoke access in Account Settings > Connected Apps. Connecting an assistant does not authorize automatic price changes or publishing. ## Help and support - Setup: https://supercatch.com/ai - Help: https://supercatch.com/help - Email: support@supercatch.com Prices and availability can change; review the linked SuperCatch page before buying.
PriceInIndia is a price-comparison assistant for products sold in India. Ask about any product — phones, laptops, cameras, appliances and more — and it searches live listings from Amazon, Flipkart, Croma, Reliance Digital and 50+ other Indian retailers, then shows current prices and the best available offer as interactive product cards with direct links to buy from the retailer. You can also browse product categories to explore. Prices are in INR and come from live listings, so they can change quickly. PriceInIndia is for shopping research only — it does not sell products or process payments.
Neutral freight reference + validation layer for AI agents: ADR, HS, UN/LOCODE, freight math
Plans a short, walkable night out for people of legal drinking age where they are. Give it a place and it returns 2-4 stops from venues DrinkedIn has validated against an official licence register or premises census, or the venue's own website, with walking estimates and an optional share link. Free, no sign-in. DrinkedIn does not sell or serve alcohol and books nothing.
The E-commerce Marketplace For Every AI Agent. A Governed Catalog Of 600M+ US Products, Plus Four Agent Ready Capabilities Search, Price Comparison, Product-Vs-Product, And Detailed Q&A.
Search products across independent online shops. Read-only; links go to each shop's own page.
Audit TikTok Shop and Amazon affiliate video scripts for policy violations, with safe rewrites.
Dimensional weight, parcel fit, landed cost and freight class. 4 of 6 tools free.
Read-only shopping decisions, product search, offers, and price history for Greece.
Verified promo codes for shopping agents — ranked by checkout success
Commerce research with 11 focused tools: product JSON, store readiness, merchant evidence, coupons and schema comparisons. Free labeled example.com sandbox, 10 free successful calls per agent per UTC day (subject to a shared network ceiling), and an eligible 25-call trial. Paid results use x402 USDC on Base. Setup: https://gethirepulse.xyz/?ref=glama-commerce#start-commerce . Evidence scores do not certify merchant safety. Reconnect to https://gethirepulse.xyz/mcp for all 27 tools.
Read-only UK and Australian supermarket shelf-price index and UK daily basket snapshots, CC BY 4.0. Not live prices; no product names. For product-level prices on demand, the pay-per-event UK Supermarket Price Scraper (Tesco, Sainsbury's, Asda, Aldi: https://apify.com/yappman/uk-supermarket-price-scraper) and AU Supermarket Price Scraper (Aldi Australia: https://apify.com/yappman/au-supermarket-price-scraper) run on the Apify Store, charged to the Apify account that runs them, and can be reached through Apify's MCP server.
Hosted MCP server for 3Dsellers, the multichannel selling platform. Connect Claude, ChatGPT, Cursor, VS Code or any MCP client and manage your eBay, Amazon, Walmart, Etsy, Shopify, WooCommerce and TikTok Shop stores in plain language: search and update products, publish listings, sync inventory, tag and track orders, run bulk actions and CSV imports, and reply to customer messages. 120+ tools. Sign in with OAuth or a personal token. No eBay developer account and nothing to install. Setup guides and config examples for every client: https://github.com/3dsellers/ebay-mcp-server
Processor fees, charge-to-net, invoice totals and proration. 3 of 6 tools free.
Real-time Booking.com rates for agents. Three things people do with this server. Scan for rate gaps: price_as_seen_from prices the same room from another market, so an agent can sample a property across countries and compare. Put live search in your app: search a destination or look a property up by name, no internal IDs, room-level rates as flat JSON. Run a 24/7 AI travel agent: add the server, sign in with Google, and schedule it. No ads, no sponsored content. You bring your own RapidAPI key, so every search is billed to your plan and never to anyone else's. Add https://hotels.flightpowers.com/mcp , click Sign in, sign in with Google, and paste your RapidAPI key once on the page that opens. Scripts and clients without a sign-in button send the key as x-rapidapi-key on the same URL.
An export sales team for consumer brands, inside your AI: markets, buyers, emails and pricing.
Your AI posts what you want or have. You are introduced anonymously to whoever has the other half.
Track parcels, compare live carrier rates and find drop-off points for online sellers.
Margin, lead time, SKU mapping and price-ladder maths for dropshipping. 4 of 6 free.
Hosted Amazon Seller Central and Amazon Ads MCP server for Claude, ChatGPT, Cursor, and agents.
