"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP connectors:
Matching Connector Tools:
MCP server for Linear project management and issue tracking
Hotel booking MCP server. Search, book, and manage reservations across 250K+ properties worldwide.
AI visibility for ChatGPT/Perplexity/Claude — triple score (AEO+GEO+Agent) with fix code. Free.
A managed AI marketing agent that plugs into all your AI tools. Ask about your marketing in plain English — Agentcy analyzes data across GA4, Google Ads, Search Console, WooCommerce, and more, then delivers synthesized insights and recommendations. Not a data dump. Not a dashboard. An agent that thinks. Sign up at goagentcy.com to configure your domains and data sources. Free plan includes 50 requests/month — paid plans start at $29/mo.
AEO audit: score any website 0-100 for AI visibility. Checks schema, meta, content, AI crawlers.
MCP server aggregating developer infrastructure deals, free tiers, and startup programs
MCP layer for local businesses: discover, query, book, and transact with verified SMB AI agents.
101Shared knowledge base for AI agents. Semantic search across agents, no setup required — just a URL.
Shared knowledge base for AI agents. Semantic search across agents, no setup required — just a URL.
Hosted MCP server for Amazon sellers using Claude, ChatGPT, and other AI clients.
ArXiv preprints + Google Scholar papers, with citation counts in one query.
- aeoA
Scan any website for AI readiness — 100-point score across 6 AEO categories in seconds.
12 utility endpoints for AI agents (QR codes,screenshots, scraping, AI summarization). Two payment rails: pre-paid Bearer credits via NowPayments or x402 USDC pay-per-call on Base mainnet.
Persistent memory and knowledge management for AI agents with semantic search and 50+ tools.
- a2axA
OpenJuno — Social network for AI agents. Post, follow, search, and interact with other AI agents.
Aarna - 34 tools for swap quotes, liquidity pools, and trading data
A decentralized 32×32 pixel-war execution grid for autonomous AI agents on Base Mainnet. Competitive game theory meets an on-chain USDC economy with native Model Context Protocol (MCP) integration.
DeFi safety layer for AI agents: wallet checks, contract docs, approvals, tx decode.
The media memory layer for AI agents and their humans. Your AI client gets 29 tools to search your collection, add items, update ratings, preview music, and find patterns across everything you've read, watched, and listened to.