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

MCP server to search 4,800+ MCP servers, AI agents, CLI tools and agent skills from the A2ASearch directory. Ask Claude: "Find MCP servers for database access".

Enables formal verification of LLM outputs against compliance ontologies using Z3 SMT solver. Validates that AI-generated content adheres to regulatory requirements like HIPAA or mortgage compliance rules.

aarora79 aws-cost-explorer-MCP-server

公开目录未提供摘要。

Provides AI agents with database-like operations over LanceDB with automatic BGE-M3 multilingual embedding generation, enabling semantic search, CRUD operations, and safe schema migrations across structured data.

Enables SAP ABAP development by connecting Claude Desktop to SAP systems via the ADT API for reading, writing, and deploying code. It offers 25 tools covering object management, transports, quality assurance, and SQL data access.

Provides unified ABAP and RAP documentation search, document retrieval, and ABAP feature matrix lookups. It also enables local ABAP linting to streamline development and documentation workflows via the Model Context Protocol.

abel9851 MCP

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

abel9851 MCP-server-mariadb

公开目录未提供摘要。

Abhinavexists MCP

A Simple Implementation of the Model Context Protocol

A smart proxy server that prevents context window bloat by caching large tool responses to local files and returning compact resource links. It supports format conversion and data uploads, allowing LLMs to handle massive datasets without consuming excessive tokens.

Enables analysis of academic author networks and research collaborations by retrieving co-authors and research keywords from sources like Semantic Scholar, OpenAlex, Crossref, and Google Scholar.

Provides comprehensive macOS, Linux, and Windows system administration, diagnostics, and optimization tools including network inspection, security scanning, compliance auditing, database diagnostics, and structured DevOps task planning.

Enables checking WCAG color contrast ratios and accessibility compliance between color pairs. Helps determine optimal text colors for backgrounds and validates color combinations meet accessibility standards.

Cross-surface persistent memory for Claude. Bridges context between Claude Chat, Code, and Cowork via local SQLite with full-text search.

A Christmas Carol MCP Server

Semantic search through Dickens' classic novella - find passages by meaning, theme, or character, not just keywords.

Enables AI assistants to interact with Actual Budget for personal finance management through natural language, supporting transactions, account balances, budget tracking, spending analysis, and payment searches.

Adaptive MCP memory system for AI applications. Learns which retrieval strategies work for your data, scores results using cognitive science models, builds a knowledge graph automatically, and validates every parameter change against real query history before adopting it. Patent pending.

Enables natural language control of anaerobic digestion modeling using the internationally recognized ADM1 standard. Supports wastewater treatment simulation for process design and optimization with AI-powered feedstock analysis, multi-reactor configurations, and professional report generation.

Provides tools to check weather information for any city and manage prospects in Upnify CRM with dynamic authentication, eliminating the need for pre-configured credentials.

A Model Context Protocol server that enables LLMs to interact with AdsPower browser LocalAPI, allowing for operations like creating, opening, updating, and managing browser profiles with custom fingerprints.