Logic (Prover9/Mace4)
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
Design MCP Servers
Browse 1,715 servers tagged Design in the MCP Server List directory. Popular picks include Logic (Prover9/Mace4), XMind Mind Maps, and Strapi CMS.
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.
Untitledui Mcp
Untitledui Mcp is an MCP server that lets AI agents fetch real UntitledUI components instead of generating UI from scratch. It provides direct access to a…
Cursor Sound
Lightweight macOS server that plays a system sound effect after code generation is complete, providing auditory feedback for developers during coding sessions.
Delve
Provides a complete interface to the Delve debugger for Go programs, enabling starting debug sessions, setting breakpoints, controlling execution flow, and…
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…
YouTube Transcripts
Integrates with YouTube's transcript API to retrieve and process captions from video URLs, enabling content analysis and information extraction from spoken…
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…
Google Cloud Platform
Integrates with Google Cloud Platform to enable natural language management of cloud resources including compute, storage, networking, and databases through…
DataHub
Integrates with DataHub's API to enable metadata management, discovery, and governance across diverse data assets in complex ecosystems.
iOS Simulator
Provides a TypeScript-based server for dynamically creating, booting, and controlling iOS simulators using the Appium iOS Simulator library, enabling flexible…
OpenAI MCP
Provides a high-performance bridge between OpenAI and Anthropic models with prompt templating, response streaming, and efficient caching for applications…
Replicate Flux
Integrates with Replicate's Flux image generation model, enabling image creation capabilities within conversation interfaces through a simple API token setup…
Solana
Integrates with Solana blockchain to enable natural language querying of account data, transactions, and network status.
Metabase
Integrates with Metabase to enable querying dashboards, executing SQL, and retrieving structured data for data analysis and insights generation.
macOS Say
Leverages macOS 'say' command for customizable text-to-speech functionality, enabling dynamic voice output.
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…