Dockerized Lean4 execution environment for AI agents
MCP server for efficient Git repository exploration with advanced caching, enabling code pattern search across multiple repos.
Gitリポジトリの品質確認、リリースノート生成、ソフトウェアセキュリティチェックを支援するMCPサーバー
Nostr code snippet MCP server for sharing code snippets on the Nostr network
A Model Context Server providing simple features to automate python script execution via LLMs.
Model Context Protocol (MCP) server to connect to an email server and to read emails
Gmail MCP server for sending, reading, drafting, and managing emails via Model Context Protocol
A simple MCP server for WordPress Elementor, performing CRUD operations on Elementor data.
一个通过Webhook向Discord发送消息的MCP服务器
A Model Context Protocol (MCP) server for interacting with WordPress sites. This server provides tools to fetch posts, pages, categories, and site information from any WordPress installation with REST API enabled.
An MCP server that gives Cursor or Claude Code access to Node.js at runtime to help you debug
A Model Context Protocol (MCP) server for WordPress integration, compatible with Windows, macOS, and Linux.
MCPサーバでmicroCMS APIを利用可能にする
A Model Context Protocol (MCP) server for the Open eClass platform.
MCP server for Excel files with macros (.xlsm) - read/write data, manage worksheets, VBA macros, and format cells
The SSE version of the MCP service is modified from the Filesystem MCP server
自动化 GitHub Pull Request 创建和管理的 MCP 服务器
Node.js MCP server for filesystem operations - read/write files, manage directories, search files, and get metadata.
A simple Todo application built using MCP (Model Context Protocol) Server for testing and demonstrating MCP interactions.
A sample implementation of a Model Context Protocol (MCP) server using Spring Boot
一个基于 MCP (Model Context Protocol) 的简单服务器，提供了一个 `who_is_handsome` 工具函数。
天地图MCP Server，提供地理编码、逆地理编码、周边检索等地图服务功能。
A MCP Server to know about Zaragoza bus, tram and bizi services in realtime
MCP server for Naver Map APIs (Geocoding, Reverse Geocoding, Direction5, Direction15)
Compare zipcode-level demographic distributions using z-score analysis for age, gender, and ethnicity.
Implementation of MCP documentation's "quickstart" server with weather forecast and alert tools
MCP server that exposes the Apollo.io API functionalities as tools
Observability helps. This MCP server adds tracing to all your conversations on Claude (or suitable MCP client) so that you can trace, understand, debug and report on your all your interactions.
Convert 2D images to 3D relief models in STL format for 3D printing or rendering
一个从 YouTube URL 下载 MP3 音频的 MCP 服务器，可轻松与 Claude Desktop 集成提取高质量音频文件。
