A
licenseA
qualityB
maintenanceVerify AI agent communication with session types and formal proofs.
4 tools: parse protocols, verify messages, check safety properties, browse 20 stdlib templates.
4
10
Apache 2.0
72,476 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
io.github.pipeworx-io
io.github.johnisanerd
io.github.johnisanerd
com.mcparmory
"Google Messages" matching MCP servers:
- AlicenseAqualityCmaintenanceMCP server that validates LLM-generated tool-call arguments, lints tool definitions, and produces retry messages for AI assistants.3481MIT
- AlicenseAqualityAmaintenanceMCP server for measuring web performance with Google PageSpeed Insights, providing median scores with uncertainty and real-user data. It offers tools for scores, diagnostics, and comparisons to identify regressions.27Apache 2.0
- AlicenseAqualityCmaintenanceA local, stdio-only Model Context Protocol server that lets coding agents inspect, control, and test Apple iOS Simulators and Google Android Emulators. It exposes 29 typed tools for device lifecycle, app management, UI automation, screenshots, logs, permissions, location, and platform-specific test conditions.29MIT
- AlicenseAqualityAmaintenanceBuild, sign, and publish iOS and Android apps through AI agents. Integrates Codemagic CI/CD, App Store Connect, and Google Play in one server.63221MIT
- AlicenseAqualityCmaintenanceModel Context Protocol (MCP) server for App Store Optimization. Score your App Store / Google Play listing metadata, check character limits, and clean up the iOS keyword field — right inside Claude, Cursor, or any MCP client.412MIT
- FlicenseAqualityBmaintenanceProvides a dummy SMTP server for catching emails during development, with MCP tools to list, retrieve, and manage received messages.4
- AlicenseBquality-maintenanceProvides comprehensive website validation across performance, accessibility, SEO, and security dimensions using multiple testing services including WebPageTest, Google PageSpeed Insights, Axe DevTools, Mozilla Observatory, and SSL Labs. Enables automated website health assessments through browser automation and API integrations.1231
- AlicenseCqualityDmaintenanceA simple server implementing the Model Context Protocol (MCP) that echoes messages back, designed for testing MCP clients.12MIT
mock-llm-mcpofficial
Alicense-qualityDmaintenanceMCP server to mock OpenAI, Anthropic, and Google Gemini responses for testing AI integrations without real API keys or token spend.MIT- Alicense-qualityDmaintenanceA lightweight Python-based microservice that provides simple echo functionality, receiving messages and returning them back to the client for diagnostic and testing purposes within the MCP framework.1Apache 2.0
- Alicense-qualityBmaintenanceEnables agents to inspect captured emails, messages, and webhooks across multiple channels, read OTP codes, and simulate inbound events for end-to-end testing.MIT
- Alicense-qualityDmaintenanceAutomate Google Play closed testing with AI - skip the hassle of finding testers and waiting 14+ days by telling your AI to handle it.481MIT
- Alicense-qualityCmaintenanceA procurement scenario MCP server for testing whether pending work can resume after a service restart, comparing legacy and modern continuation. It uses SQLite for data persistence and demonstrates real MCP protocol messages.MIT
- Alicense-qualityAmaintenanceA spec-compliant remote MCP server with built-in OAuth 2.1 and Dynamic Client Registration, enabling Notion Custom Agents to connect via 'Sign in with OAuth' without bearer tokens. It supports SSO federation to Google and Microsoft Entra, and includes basic tools like whoami, echo, and slow_task.MIT
- Alicense-qualityCmaintenanceControl a real, physical iPhone from an MCP client, enabling tapping, swiping, typing, reading messages, and navigating apps via Apple's UI-automation channel.9MIT
- Alicense-qualityAmaintenanceEnables AI agents to generate temporary email addresses, receive emails, and automatically extract OTP codes and links from incoming messages for automation and testing workflows.MIT
- Flicense-qualityCmaintenanceVerifies AI agent actions by exercising public web surfaces and returning evidence-based pass/fail verdicts on real outcomes, rather than trusting self-reported success messages.
- Flicense-qualityDmaintenanceEnables testing real-time MCP notifications that appear as VS Code popups, demonstrating standalone log messages.
- Flicense-qualityDmaintenanceAn MCP server that automates code reviews through linting, testing, and git diff analysis. It also generates conventional commit messages and detailed pull request descriptions based on file changes and code patterns.