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

Avinash539 MCP

This is a repository for mcp servers

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

Awesome Ebe8079c

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

Awesome MCP Devtools

A curated list of developer tools, SDKs, libraries, and testing utilities for Model Context Protocol (MCP) server development.

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

Awesome MCP Servers Website

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

Aws 9227e7bf

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

Aws MCP Servers Config

AWS MCP Server Configurations for different operating systems

Aws S3 Bucket Utility MCP

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

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.

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.

Paid MCP server that evaluates typography accessibility beyond what axe and Lighthouse catch. $0.05 USDC per evaluation via x402 on Base mainnet.

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.

Azd F75ed31c

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