"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:
Matching Connector Tools:
MCP server for Linear project management and issue tracking
65+ AI tools as MCP: research, write, code, scrape, translate, RAG, agent memory, workflows
Persistent memory for AI agents. Semantic search, memory graph, W3C DID identity.
Hosted AgentLux MCP server for marketplace, identity, creator, services, and social flows.
74153 AI tools for agents: web, crypto, AI generation, OCR, and more. Pay with Stripe or USDC.
53 AI agent tools: OSINT, intelligence feeds, DeFi, security, scraping. x402 micropayments.
40 AI crypto tools: whale tracking, security scans, DeFi analytics, quantum security, and more.
Financial infrastructure for AI agents: wallets, USDC transfers, lending, jobs on Polygon
Agent registry with Nostr identity, reputation, escrow, observability, and Lightning payments.
50 AI tools for D365 F&O: X++ search, ADO integration, code gen, security tracing & upgrade impact.
Search and retrieve Avalanche blockchain documentation for building on AVAX.
Collective intelligence for AI shopping agents — product intel, deals, and more
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.
AudioAlpha turns 100+ daily finance and crypto podcasts into structured intelligence — α-sentiment scores, narrative signals, asset mentions, transcripts, and market snapshots with 40+ custom metrics. Built for AI-driven research and trading workflows.
Aarna - 34 tools for swap quotes, liquidity pools, and trading data
MCP server for AI agents: 15 tools, 300+ curated Japanese furniture & home products. mm-precision search, curated sets, replacement finder, AI visibility diagnosis.
Crypto market signals, technical indicators, and sentiment analysis for AI agents.
Decentralized AI agent labor market on Ethereum. 15 tools for on-chain job lifecycle.
1,589 tools, 102 services. Stripe, Slack, CRM, GitHub, Supabase + 97 more. One install.
Crypto market data for AI agents via x402. 16 tools: prices, funding, DeFi yields, arbitrage, TA.
Persistent cloud memory for AI agents. Store and search key-value memories across sessions.
A global shared memory bank and knowledge base exclusively for autonomous AI agents. It prevents agents like Cursor and Claude from hallucinating the same bug fixes twice by allowing them to search for and contribute verified solutions. Full installation guide: https://github.com/aiagentoverflow/agents-overflow-mcp-docs
MCP server exposing T54 XRPL x402 seller SKUs (OpenAPI) as tools: structured query, research brief, commerce data, and related routes. HTTP 402 + x402 settlement via broker (XRPL / Base USDC per env). Unified HTTPS host with health at /health.
Search ATProto writing, annotations, identity, agents, and forum posts. 12 read-only tools.
- agentmailOAuth
AgentMail is the email inbox API for AI agents. It gives agents their own email inboxes, like Gmail
Email safety MCP server. Detects phishing, prompt injection, CEO fraud for AI agents.
Agent-first skill marketplace with USK (Universal Skill Kit) open standard. Search, evaluate, and install skills for AI agents across 7 platforms including Claude Code, OpenClaw, Cursor, Gemini CLI, and Codex CLI.
Agent-first skill marketplace with USK open standard for Claude, Cursor, Gemini, Codex CLI.
101Real-time Amazon data API built for AI agents. 200M+ products, 1B+ reviews, live BSR, pricing, and competitor data as clean JSON. 10 agent skills for market research, competitor monitoring, pricing analysis, and listing audits.
Compile TypeScript or Python to native Swift — App Intents, SwiftUI, WidgetKit, and full apps.
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.
Free MCP tools: the only MCP linter, health checks, cost estimation, and trust evaluation.
Official MCP server for Agentwork — delegate tasks to AI agents with human-in-the-loop
Collaborative engineering KB for a mile-high city. 9 tools, 8 domains, 32 entries.
Remote MCP server for EDD memos, OFAC screening, Monte Carlo reports, and document output.
MCP server for 8,000+ AI/ML jobs with 8 tools: search, match, companies, stats, salaries, tags.
Agent Module provides structured, validated knowledge bases engineered for autonomous agent consumption at runtime. Agents retrieve deterministic knowledge instead of scanning unstructured web content — eliminating hallucinated citations in regulated domains.
Deterministic compliance and vertical knowledge bases for autonomous agents. Free 24hr trial.
EU AI Act compliance knowledge for autonomous agents. Deterministic, structured, MCP-native.
Pay-per-call MCP tools via x402 USDC: ZAR prices, data extraction, Python sandbox, SA flights.
Agent-to-agent marketplace MCP server. Search 72+ capabilities, invoke services, manage vault inventory, and handle USDC payments - all through MCP tools.
Capability router for autonomous agents with remote MCP and USDC settlement on Base.
Connect AI coding agents to Anima Playground, Figma, and your design system.
AI-powered eSIM recommendation agent for travelers. Provides real-time coverage checks, package search by country, and pricing across 190+ destinations via structured tool calls. Tools available: - list_countries - full list of supported destinations - check_coverage - network operators by country code - search_packages - filter eSIM plans by country - get_package_details - pricing and data specs - create_checkout - generate payment link for purchase No auth required for search tools. Ideal
The AWS Knowledge MCP server is a fully managed remote Model Context Protocol server that provides real-time access to official AWS content in an LLM-compatible format. It offers structured access to AWS documentation, code samples, blog posts, What's New announcements, Well-Architected best practices, and regional availability information for AWS APIs and CloudFormation resources. Key capabilities include searching and reading documentation in markdown format, getting content recommendations, listing AWS regions, and checking regional availability for services and features.
AI service marketplace — agents discover, call, and pay for API services automatically.
MCP server for AI Diagram Maker — generate software engineering diagrams from natural language, code, ASCII diagram, images, or Mermaid. Inline diagram rendering using MCP apps UI and diagram URL in responses. Works with Cursor, Claude Desktop, Claude Code, and any MCP-compatible AI.
Scan websites for AI visibility and marketing health with interactive dashboard.
Converts any URL to clean, LLM-ready Markdown using real Chrome browsers
BaseGuard + WalletGuard provides deterministic on-chain safety verdicts for AI agents — check any token for rug risk, LP lock status, and deployer history, or profile any wallet for bot activity, whale classification, and rug participation, across Base, Ethereum, Arbitrum, and Solana.
51MCP server for browsing and searching items on 1stDibs marketplace.
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.
Scan any website for AI agent readiness, payment protocols, and discovery endpoints
Market intelligence for AI agents. Real-time data, cross-market analysis, and regime detection.
AgentPMT is the AI agent marketplace that turns any MCP-compatible AI assistant into an autonomous employee. Connect once and your agents gain access to a growing ecosystem of tools, workflows, and skills spanning communication, data analytics, development, file management, search, and more. AgentPMT dynamically discovers and orchestrates tools from across the MCP ecosystem, so your agents can independently find the right tool for any task without manual configuration.
Regulatory intelligence for AI agents across jurisdictions
Scrivibe — AI eBook Generator Generate complete, professional multi-chapter eBooks with a single tool call. Scrivibe uses **Anthropic Claude** to write full-length books chapter by chapter — fiction, non-fiction, business, self-help, romance, and 70+ more genres — and delivers a downloadable **EPUB file** ready for Kindle, Apple Books, or any reader.
41MCP server for static security analysis of Android source code