AI & ML

An MCP server for automated first-order logic reasoning using Prover9 and Mace4, supporting theorem proving, model finding, and categorical reasoning.

A versatile Text-to-Speech MCP server for Claude Desktop and Cursor that provides high-quality voice synthesis via macOS system voices, ElevenLabs, Google Gemini, and OpenAI APIs.

A version-controlled, AI-assisted workflow for managing Unreal Engine UMG assets. It allows programmatic manipulation of UI via JSON, enabling robust Git version control and automated UI generation.

LocalLama MCP optimizes AI coding costs by intelligently routing tasks between local models (Ollama, LM Studio) and paid APIs via OpenRouter. It features advanced task decomposition, dependency mapping, and a semantic code search engine to favor code reuse over regeneration.

Integrates with SAP's knowledge base using passport certificate authentication and Playwright automation to search and retrieve SAP Notes and technical articles.

A comprehensive MCP server providing tools to search, retrieve, compare, and analyze clinical trial data from the official ClinicalTrials.gov API v2, including patient eligibility matching and trend analysis.

MCP (Model Context Protocol) Server. Enables Claude to directly interact with and control DaVinci Resolve through its Python API, providing tools for project management, timeline manipulation, media organization, and Fusion integration.

The MCP framework. Connect your data to your agents.

A vision-enabled MCP server that provides image analysis capabilities to non-visual models using GLM-4.6V, DeepSeek-OCR, Qwen3-VL, and Doubao models.

A basic .NET-based MCP server implementation that demonstrates tool integration with VS Code and Copilot Chat, featuring a simple greeting function.

A robust MCP server that provides access to 400+ AI models from OpenRouter within Claude Code, featuring intelligent model selection and 1M+ token support.

A frontend development middleware for Webpack and Vite that provides visual proxy management, data mocking with Faker integration, and MCP support for AI-assisted coding.

A specialized MCP server for Kong Konnect that enables AI assistants to manage API gateway configurations, query traffic analytics, and monitor control plane health.

A framework and MCP server that standardizes LLM prompt enhancement through a composable decorator system, allowing users to control AI behavior with annotations like +++Reasoning or +++OutputFormat.

Claude Code CLI integration for Unreal Engine 5.7 - Get AI coding assistance with built-in UE5.7 documentation context directly in the editor.

🏺 An MCP server for checkpointing and file recovery in Claude Code

A comprehensive MCP server for the Alibaba Cloud Yunxiao DevOps platform, enabling AI agents to manage organizations, code repositories, work items, pipelines, application delivery, and testing workflows.

Connect LLMs to real-time, rights-cleared proprietary data including web search, financial markets, sports, and news through Dappier's AI-powered data marketplace.

This MCP server lets LLMs to interact with the ShaderToy API, allowing LLMs to learn from compute shaders examples and enabling them to create complex GLSL shaders that they are previously not capable of.

A research-focused MCP server that combines web search via DuckDuckGo and academic discovery via Semantic Scholar to provide synthesized information with visual guidance and citations.

This server enables LLMs to inspect database schemas and execute queries on the provided Kuzu graph database. See blog) for a debugging use case.

MCP server to run locally with Anki and Ankiconnect. Supports creating, updating, searching and filtering cards and decks. Include mass update and other advanced tools.

A demonstration project showing how to implement an MCP (Model Context Protocol) client using SwiftUI and the Anthropic API for iOS applications.

A comprehensive educational repository focused on building and deploying agentic AI systems, featuring implementations of LangGraph, CrewAI, and MCP integration.

A high-performance proxy and centralized registry for managing multiple Model Context Protocol (MCP) servers with support for SSE and Streamable transport.

- MSSQL MCP that refer to the official website's SQLite MCP for modifications to adapt to MSSQL

A FastMCP server that enables image generation by connecting to a remote ComfyUI instance, allowing users to trigger workflows and optionally enhance prompts via Ollama.

MCP (Model Context Protocol) Server. Provides secure access to Autodesk Platform Services API for architecture, engineering, and construction workflows, enabling interaction with projects, documents, and construction issues through a Node.js-based server with fine-grained access control.

A comprehensive MCP server designed for frontend developers to automate Figma-to-code conversion, API integration, and project standardization using design token extraction and visual similarity validation.

A comprehensive MCP server for tooling interactions (40+) and resource accessibility (60+) plus many useful prompts for interacting with the Algorand blockchain.