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

Awesome MCP Servers Fc4e43e1

A comprehensive collection of Model Context Protocol (MCP) servers

Awesome MCP Servers Website

A curated list of the best MCP Servers, featuring top solutions, libraries, tools, and more. -

Aws MCP Servers Config

AWS MCP Server Configurations for different operating systems

AI-powered E2E testing MCP server. Point at a URL — AI generates test scenarios, runs Playwright tests, and self-heals failures automatically. Works on Canvas and Flutter Web apps.

Enables LLM-powered agents to generate, execute, and analyze Alloy modeling language code for software modeling and formal verification. Provides tools to run Alloy models, access documentation and examples, and generate models from system descriptions.

Awwaiid MCP Server Taskwarrior

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

Awx MCP Server B6d85ece

AWX Model Context Protocol (MCP) integration for enhanced automation workflows. This repository provides a structured approach to managing AWX models efficiently.

Provides comprehensive access to Axie Infinity data, including detailed Axie stats, marketplace listings, land information, and player leaderboards. It allows users to query real-time game info and market statistics through natural language.

Open-source TypeScript/Python → Swift compiler for Apple platforms. AI agents write 5–15× less code to generate App Intents, SwiftUI views, WidgetKit widgets, and full apps. MCP server with 6 tools for scaffolding, compiling, validating, and browsing templates.

Persistent decision memory and contradiction detection for AI coding agents. Enforces architectural consistency across sessions — the agent cannot code until it loads prior decisions. Human resolves conflicts on a dashboard or in chat.

Integrates the AXLE (Axiom Lean Engine) CLI with AI assistants to provide comprehensive tools for Lean 4 proof engineering. It enables users to validate, repair, and transform Lean theorems through a remote API without requiring a local Lean installation.

Persistent project memory + architectural decisions + pre-execution safety hooks for Claude Code. Local-only storage, multi-repo workspace, automatic knowledge extraction via background auditor.

Ax Prover Base MCP

An MCP server for building Lean4 code, and automated theorem proving

A Model Context Protocol service registry and connector framework that enables seamless integration with multiple services and models through a standardized API interface. Provides an extensible architecture for custom service adapters, API integrations, and model registries.

Provides access to 21+ AI parsers and search engines including Perplexity, ChatGPT, Claude, Gemini, Copilot, Grok, DeepSeek, and web search tools through a unified Redis API interface.

Azd F75ed31c

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

Provides AI assistants with tools to query and explore the Azgaarnoth D\&D world repository, including searching content, retrieving stat blocks, spells, and browsing categories like races, classes, nations, and creatures across ~4,200 markdown files.

Azure 5f43de05

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

Azuredevopsmcp 33bcd2eb

A proof-of-concept MCP Server that can query Azure DevOps

Azure Devops MCP D99c6ccd

Remote Azure DevOps MCP Server