Logic (Prover9/Mace4)
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
Productivity MCP Servers
XMind Mind Maps
Analyze Xmind mind maps on your local machine using fuzzy search and hierarchical navigation.
Strapi CMS
Integrates Strapi CMS content into workflows, enabling manipulation of data for content management and querying in Strapi-powered applications.
Dynamics 365 MCP Server 🚀
Interact with Microsoft Dynamics 365 for customer relationship management.
MCP Inception MCP Server
A TypeScript-based server that allows calling other MCP clients from your own MCP client, facilitating task delegation and context window offloading for…
SendGrid
Integrates with SendGrid's Marketing API to enable email campaign management, contact list operations, and analytics for automated marketing workflows.
MariaDB
Bridges Claude with MariaDB databases for read-only SQL query execution, enabling data exploration through formatted table results while enforcing safety…
Bluesky
Query and analyze data from the decentralized social network.
LottieFiles
Integrates with the LottieFiles API to enable search and retrieval of animations by keywords, popular collections, and detailed information without leaving the…
Solana
Integrates with Solana blockchain to enable natural language querying of account data, transactions, and network status.
Documentation Manager
Enables AI interaction with markdown documentation files through a SQL-like query format for creating, reading, updating, and searching documentation with YAML…
Keycloak MCP Server
Integrates with Keycloak Admin to provide streamlined user and realm management operations for identity and access control automation.
Unified MCP Suite
A collection of MCP servers for media tools, information retrieval, PDF creation, and presentation generation.
TranscriptionTools MCP Server
MCP server for transcript processing — formatting, contextual repair & smart summarization with deep-thinking LLMs
macOS Say
Leverages macOS 'say' command for customizable text-to-speech functionality, enabling dynamic voice output.
SillyTavern MCP Server
Enables external tool registration and execution through WebSocket-based communication, providing a unified interface for real-time tool management within…
Microsoft Security Copilot
Integrates Microsoft Security Copilot with Microsoft Sentinel for running KQL queries, managing skillsets, and executing prompts using Azure Identity…
Webflow
Integrates with the Webflow API to enable retrieving site information, managing custom domains, and automating Webflow site management tasks.
Git
Integrates with Git repositories to enable version control operations and automation, supporting both shell-based commands and the go-git library for flexible…
BigGo
Integrates with BigGo's price comparison APIs to search products across multiple e-commerce platforms, track price histories, and compare specifications for…
PostgreSQL MCP Server
Integrates with PostgreSQL databases to enable schema management, data migration, performance monitoring, and security configuration through direct database…
Dune Analytics
Integrates with Dune Analytics API to provide direct access to blockchain data through tools for retrieving existing query results and executing on-demand…
LLM Gateway
Unified gateway for managing multiple LLM providers with automatic model selection, semantic caching, and cost optimization features for reliable production…
Integrates with LinkedIn to enable automated profile browsing, searching, and post interactions using Playwright for browser automation and secure session…