mcp-maven-deps

基于MCP的邮件服务，支持LLM发送带附件邮件及搜索文件

A Model Context Protocol (MCP) server implementation for running Locust load tests. This server enables seamless integration of Locust load testing capabilities with AI-powered development environments.

A Model Context Protocol (MCP) server built with mcp-framework.

A Model Context Protocol implementation for sending notifications via Pushover.net

GXtract MCP Server for VS Code, forks and other editors; provides tools for interacting with GroundX

A Dockerized Lean4 execution environment MCP server for AI agents, providing isolated code execution with transient or persistent environments.