Chiasmus is an MCP server that gives language models access to formal verification

Model Context Protocol (MCP) server designed to allow AI agents within Cursor to interact with Jupyter Notebook (.ipynb) files

172 expert marketing skills for AI agents — ClawFu MCP Server

MCP server providing comprehensive Microsoft Teams and Graph API access for AI assistants including messaging, search, and user management.

VSCode Extension with an MCP server that exposes semantic tools like Find Usages and Rename to LLMs

Dynamically expose tools from proxied servers based on an Agent Persona

Heimdall — MCP server for the Apple App Store Connect API and App Store Server API (StoreKit 2). 890 tools across 13 profiles, generated from Apple's OpenAPI spec, plus one-call macros for worldwide pricing, submission readiness and metadata diffs, and confirm-before-write safety. Works with Claude, Codex, Cursor and any MCP client.

A MCP server that supports mainstream eBook formats including EPUB, PDF and more. Simplify your eBook user experience with LLM.

An MCP (Model Context Protocol) server that enables AI assistants to control iOS Simulator. Seamlessly integrates with Claude Desktop, Cursor, Claude Code, and other MCP-compatible clients.

Deterministic research MCP server on FastMCP 3 — 5-engine web search, 9-platform social search, 6 academic DBs, news aggregation, entity profiles, conflict detection, document analysis. No API keys. No in-server LLM. Structured outputs for agent chaining.

🚀 OneSearch MCP Server: Web Search & Scraper & Extract, Support agent-browser, SearXNG, Tavily, DuckDuckGo, Bing, etc.

Semantic code intelligence MCP server for Claude Code - project maps, symbol search, impact analysis, and more

MCP server for external memory layer for AI agents + more . Download from pypi , and get started

An MCP server enabling AI assistants to interact with Anytype - your encrypted, local and collaborative wiki - to organize objects, lists, and more through natural language.

Laravel Loop is a powerful Model Context Protocol (MCP) server designed specifically for Laravel applications. It connects your Laravel application with AI assistants using the MCP protocol.

Tiger CLI is the command-line interface for Tiger Cloud. It includes an MCP server for helping coding agents write production-level Postgres code.

A comprehensive and efficient MCP server for task management with multi-format support (Markdown, JSON, YAML)

MCP server for real-time world news — free, no API key required

Convert Figma design to code with the official Flowbite MCP server

MCP server to provide Figma layout information to AI coding agents like Cursor

A Model Context Protocol (MCP) server implementation for remote memory bank management, inspired by Cline Memory Bank.

MaverickMCP - Personal Stock Analysis MCP Server

TDA - Thread Dump Analyzer (for Java). Analyze your Thread Dumps with a GUI or use it as MCP Server.

Correction-first persistent memory for AI agents. MCP server + SDK + CLI. Compounds across sessions.