A
securityA
license-
qualityEnables execution of SQL queries and management of Microsoft SQL Server database connections through the Model Context Protocol.
Last updated 10 months ago
33
2,127
15
MIT
Why this server?
Enables execution of SQL queries and management of Microsoft SQL Server database connections through the Model Context Protocol.
Why this server?
MCP-RoCQ integrates with the Coq proof assistant to enable automated dependent type checking, inductive type definitions, and property proving through XML protocol communication.
-securityAlicense-qualityMCP-RoCQ integrates with the Coq proof assistant to enable automated dependent type checking, inductive type definitions, and property proving through XML protocol communication.Last updated a year ago9MITWhy this server?
Provides read-only access to PostgreSQL databases, enabling users to inspect database schemas and execute read-only queries through a Model Context Protocol server.
-securityFlicense-qualityProvides read-only access to PostgreSQL databases, enabling users to inspect database schemas and execute read-only queries through a Model Context Protocol server.Last updated a year ago4Why this server?
A Model Context Protocol server that enables LLMs to interact directly with MongoDB databases, allowing users to query collections, inspect schemas, and manage data through natural language.
-securityAlicense-qualityA Model Context Protocol server that enables LLMs to interact directly with MongoDB databases, allowing users to query collections, inspect schemas, and manage data through natural language.Last updated 10 months ago982MITWhy this server?
Enables querying log data stored in SQLite databases through the Model Context Protocol, allowing natural language interactions with log analysis.
-securityFlicense-qualityEnables querying log data stored in SQLite databases through the Model Context Protocol, allowing natural language interactions with log analysis.Last updated a year agoWhy this server?
A Model Context Protocol server implementation that enables LLMs to query and manipulate JSON data using JSONPath syntax with extended operations for filtering, sorting, transforming, and aggregating data.
AsecurityAlicense-qualityA Model Context Protocol server implementation that enables LLMs to query and manipulate JSON data using JSONPath syntax with extended operations for filtering, sorting, transforming, and aggregating data.Last updated a year ago28689MITWhy this server?
A server that enables interaction with PostgreSQL, MySQL, MariaDB, or SQLite databases through Claude Desktop using natural language queries.
-securityFlicense-qualityA server that enables interaction with PostgreSQL, MySQL, MariaDB, or SQLite databases through Claude Desktop using natural language queries.Last updated a year ago1Why this server?
An MCP server for searching and visualizing SolarWinds Observability logs, allowing users to query log data with filtering options and generate visual representations of log events over time.
AsecurityFlicense-qualityAn MCP server for searching and visualizing SolarWinds Observability logs, allowing users to query log data with filtering options and generate visual representations of log events over time.Last updated a year ago2513Why this server?
Provides a scalable knowledge graph implementation for Model Context Protocol using Elasticsearch, enabling AI models to store and query information with advanced search capabilities, memory-like behavior, and multi-zone architecture.
AsecurityFlicense-qualityProvides a scalable knowledge graph implementation for Model Context Protocol using Elasticsearch, enabling AI models to store and query information with advanced search capabilities, memory-like behavior, and multi-zone architecture.Last updated 12 days ago20919