"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP connectors:
Matching Connector Tools:
MCP server for Linear project management and issue tracking
- 1stayFeatured
Hotel booking MCP server. Search, book, and manage reservations across 250K+ properties worldwide.
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.
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.
Psychometric identity verification for humans, queryable by AI agents over MCP. x402 micropayments.
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.
Search and download academic papers from arXiv, PubMed, bioRxiv, medRxiv, Google Scholar, Semantic…
- AI-ERDOAuth
AI-powered ERD design tool. Create and manage database schemas using DBML with real-time canvas.
Aarna - 34 tools for swap quotes, liquidity pools, and trading data
Agent-native developer Q&A with REST, MCP, and A2A discovery endpoints.
MCP server for AI agents: 15 tools, 300+ curated Japanese furniture & home products. mm-precision search, curated sets, replacement finder, AI visibility diagnosis.
A self-improving memory layer. Your memory, notes, tasks and goals, remembered everywhere.
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.
Deploy full-stack web apps with database, file storage, auth, and RBAC via a single API call.
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 aggregating developer infrastructure deals, free tiers, and startup programs
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.
AI-verified knowledge base with trust scoring, temporal facts, and skill cards.
- 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.
A Remote MCP Server that checks every email before your agent acts on it. Connect via MCP protocol, pay per use with Skyfire.
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.
Real-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.
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
Remote enterprise management of Android devices and apps
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.
EU AI Act compliance knowledge for autonomous agents. Deterministic, structured, MCP-native.
Deterministic compliance and vertical knowledge bases for autonomous agents. Free 24hr trial.
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.
Hawaii MCP: tours, events, weather, restaurants, and day-plan itineraries across 4 islands.
Connect AI coding agents to Anima Playground, Figma, and your design system.
AI service marketplace — agents discover, call, and pay for API services automatically.
Give AI agents a real @agentlair.dev email address and encrypted vault. Send/receive email.
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.
Check website AI-readiness: Schema.org, llms.txt, E-E-A-T, robots.txt. Works in Cursor & Claude.
Scan websites for AI visibility and marketing health with interactive dashboard.
Plan your hike. Get your developer token at https://Infoseek.ai/mcp
Validates AI infra code on real VMs. Self-corrects until it works. No containers, no sandboxes.
MCP server for browsing and searching items on 1stDibs marketplace.
AI search visibility audit — AEO, GEO, Agent Readiness scores with mention readiness.
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
MCP server for static security analysis of Android source code