mcp-maven-deps

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.

The MCP Internet Speed Test is a specialized Model Context Protocol (MCP) server that enables AI models and agents to perform internet speed measurements.