"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:
GET /v1/connectors – MCP directory API referenceMatching Connector Tools:
Pay-per-use APIs for agents: web research, data lookups, and metered endpoints billed to credits.
Server-side conversion tracking for Meta, TikTok, etc. Set up tracking and ask about events.
Make, find, pause and track short links and QR codes from your AI assistant. Create short links with an optional custom address, title and tags; find links and QR codes; update, pause, resume, archive or restore them; and read click analytics (clicks, unique visitors, countries, referrers, devices, browsers) for a link, a QR code or the whole account. Sign in with OAuth and choose what the assistant may do. Every change can be undone; nothing is ever permanently deleted. Works on every plan, including Free.
Get recommended by Amazon's AI. Hosted MCP server for Amazon listing compliance & generation.
AEO and SEO research engine for your brand. Studies what gets ranked and cited on a topic, then builds content plans around what your brand can add. Tracks how AI engines mention and cite your brand against competitors, and ranks what to work on next. Requires a Hi, Moose account. Some tools need the desktop app open on a host computer.
Brand protection: watch domains, trademarks, apps and search ads for impersonators, triage matches.
Run your social media from Claude, ChatGPT or any MCP client. Feedlio's MCP server lets your assistant list workspaces and connected accounts, import media from a URL, and create, edit, reschedule and cancel posts on Facebook, Instagram, LinkedIn, YouTube, TikTok, Threads, Bluesky, Mastodon and Dev.to, with per-platform settings for YouTube, TikTok and Dev.to. Sign in with OAuth on Feedlio's own page; MCP access is included on the Standard plan and up, with a 7-day free trial. Support: support@feedlio.io
Search and pull 620+ React and Tailwind sections into your project over MCP.
Measured share of answer for 20 SaaS brands. An open dataset, not an audit of your site.
Deterministic marketing math for AI agents: LTV:CAC, pipeline coverage, A/B tests, pricing.
Free Google Search Console MCP: your real GSC, Google Analytics and keyword data for AI agents.
Scan a website for AI search and agent readiness, then get a fix checklist for your agent.
Remote MCP server for LinkedCamp. Run LinkedIn and email outreach from ChatGPT, Claude or Cursor: campaigns, unified inbox, leads and analytics in 133 tools.
Audit TikTok Shop and Amazon affiliate video scripts for policy violations, with safe rewrites.
Marketing analytics for local businesses — Instagram, ads, web traffic, SEO and reviews.
Draft, schedule, and publish social posts for your workspace straight from your AI.
Teaches AI to write HTML email that renders in Outlook, Gmail, and Apple Mail. 21 rules, 6 comps.
Generate ad creatives and product images in bulk from a spreadsheet, for every product or campaign.
Post and schedule to TikTok, Instagram, YouTube, Facebook, LinkedIn, X, Threads and Bluesky from your AI agent. Video included, you approve every post, and MCP is on the free plan.
Schedule and publish posts to Instagram, TikTok, X, LinkedIn, YouTube, Pinterest, Facebook & more.
HirePulse business intelligence and commerce gateway with 27 tools. Research technology, hiring, Google Ads and public contacts in one qualifying $0.03 company profile, plus breakout_summary estimates. Focused B2B: https://gethirepulse.xyz/mcp?profile=b2b&ref=glama-registry (9 tools). Commerce: https://gethirepulse.xyz/mcp?profile=commerce&ref=glama-registry (11 tools). Free labeled example.com sandbox, 10 free successful calls per agent per UTC day (shared network ceiling applies), and eligible 25-call trials. Paid results use x402 USDC on Base. Setup: https://gethirepulse.xyz/?ref=glama-registry#start-b2b .
An export sales team for consumer brands, inside your AI: markets, buyers, emails and pricing.
HirePulse company and commerce research with 27 tools. Get technology, hiring, Google Ads and published contacts in one qualifying $0.03 company profile, plus breakout_summary estimates. B2B profile: https://api.gethirepulse.xyz/mcp?profile=b2b&ref=glama (9 tools); commerce profile: https://api.gethirepulse.xyz/mcp?profile=commerce&ref=glama (11 tools). Free labeled example.com sandbox, 10 free successful calls per agent per UTC day subject to a shared network ceiling, and eligible 25-call trials. Paid results use x402 USDC on Base. Setup: https://gethirepulse.xyz/?ref=glama#start-b2b .
Short-form video and ad intelligence for TikTok, Instagram Reels, YouTube Shorts and Facebook: research what works in a niche, track creators, hashtags, sounds and advertisers, and search the Meta and TikTok ad libraries.
Read-only MCP connector for one AMZTarget account. An assistant can list tracked ASINs, keyword positions, price and Best Seller Rank history, listing changes, and Reverse ASIN reports. Figures come from the account's scheduled checks, not from a live Amazon page. The key cannot add products, change prices, or edit alerts. Create it in Profile → AI access and send Authorization: Bearer amz_....
Amazon Seller Central, Vendor Central and Ads data, profit-ready, for Claude, ChatGPT and any AI
Famous writing voices for your agent. Find one, read how it was studied, write in it.
Postemi is a social media scheduler for 37 platforms and apps. Your AI agent can list your channels, check the calendar, upload media, preview a post and schedule it to Instagram, TikTok, LinkedIn, X, YouTube, Threads, Bluesky, Pinterest and more. It always shows a preview first, and you confirm before anything is saved. Sign in with OAuth; every plan starts with a 7-day free trial.
Company and contact enrichment: firmographics from a domain or IP, profiles from a work email.
Audit public webpages and supplied markup for HTML, CSS, SEO, JSON-LD, and link issues.
