找到适合你的 MCP Server，快速完成接入

Verify AI agent communication with session types and formal proofs. 4 tools: parse protocols, verify messages, check safety properties, browse 20 stdlib templates.

Enables restaurant reservation management and schedule checking through Supabase with multi-tenant support. Designed for WhatsApp and phone agents to verify opening hours, create reservations with automatic table assignment, and handle multiple restaurants from a single server.

lunar-mcp is a Go-based MCP server that provides 28+ tools for Chinese traditional calendar, fortune telling, and divination. It enables AI agents to integrate Chinese cultural computations into their workflows.

An MCP server providing full integration with the Lunch Money API to manage financial data including transactions, budgets, assets, and categories. It enables AI assistants to perform CRUD operations on financial records through a standardized HTTP interface.

Enables AI agents to interact with your Lunch Money personal finance data, providing tools for managing transactions, categories, budgets, assets, and accounts.

On-demand live vision MCP for AI agents — open a session at a lat/lng, receive a JPEG snapshot or WebRTC stream, settled per-second in USDC on Base. Four tools (get_session, get_frame, get_stream_url, cancel_session); currently Base Sepolia testnet.

MCP server that gives AI agents full control over grocery lists, todos, and packing lists. Your AI creates lists, adds items, checks them off, and shares with family/friends.

Enables AI agents to autonomously request services from other specialized agents and compensate them via x402 micropayments. Demonstrates a Machine-to-Machine economy using A2A protocol for agent communication, MCP for context management, and blockchain-based payments on Base network.

MCP server that gives AI agents the ability to discover, match with, and build relationships with other autonomous agents. Supports agent registration, matchmaking, messaging, shared goals, relationship lifecycle management, and real-time event subscriptions.

A Model Context Protocol server that enables execution of AppleScript and JavaScript for Automation scripts on macOS, allowing programmatic control of applications and system functions through a rich knowledge base of pre-defined scripts.

Macos Use

AI agent that controls computer with OS-level tools, MCP compatible, works with any model

全面解析MCP Quickstart ServerMCP Server的核心功能、安装配置和实用案例。作为顶级Model Context Protocol服务器，MCP Quickstart Server能让AI助手访问实时数据、执行操作，为您提供更智能的工作体验和自动化解决方案。

Provides accessibility acceptance criteria for 51 web and 42 native components from the MagentaA11y project. Enables searching, retrieving component specs, and generating accessibility documentation in multiple formats including Gherkin syntax and developer notes.

Enables AI agents to interact with Magento 2 development environments through comprehensive tools for module management, database operations, cache control, configuration management, and system diagnostics. Supports complete development workflows from module creation to deployment and troubleshooting.

An intelligent AI assistant routing and management platform that integrates 107 production-grade AI assistants into a unified enterprise intelligence service center.

Enables AI agents to play and interact with Minecraft servers through mineflayer, providing automated actions like mining, movement, crafting, and real-time game event monitoring.

Mailgo Campaign Suite MCP Server AI-powered cold email campaign management through Model Context Protocol (MCP). Overview Mailgo Campaign Suite MCP Server connects your AI assistant directly to the Mailgo cold email platform. Through natural conversation, you can verify email addresses, claim pre-warmed mailboxes, launch campaigns, manage their lifecycle, and pull

An MCP server that enables interaction with the MailScript API, allowing management of email workflows and automation through natural language commands.

This server enables AI assistants to discover, parameterize, and trigger Make.com automation workflows configured for on-demand execution. It allows users to execute scenarios and receive structured JSON results, bridging the gap between AI assistants and complex automation ecosystems.

Enables AI assistants to trigger and interact with Make automation workflows by exposing on-demand scenarios as callable tools. Allows AI systems to invoke Make scenarios with parameters and receive structured JSON responses.