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,396 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.eranimore
com.archerionlabs
ai.sessionkeeper.api
com.deerdawn
"Session" matching MCP servers:
- AlicenseAqualityBmaintenanceAn MCP server that manages a pool of test accounts, leasing them out one at a time to prevent concurrent session collisions, with automatic reclamation of expired leases.450MIT
- FlicenseAqualityBmaintenanceEnables automated testing and demo video creation using Playwright, with login, session orchestration, narration, and video compilation.8
- AlicenseAqualityAmaintenanceWebsite testing MCP server built for AI agents: 63 Playwright tools with hard assertions, auto form-fill, persistent authenticated sessions, network mocking, and accessibility/SEO/GEO + Lighthouse audits.748AGPL 3.0
- AlicenseAqualityCmaintenanceGuides developers through disciplined Test-Driven Development cycles with session state management and phase transitions, ensuring test-first methodology.111MIT
- FlicenseBqualityDmaintenanceEnables AI assistants to configure and manage session-based REST and WebSocket mock servers for application development and testing. It allows for dynamic endpoint setup, request history inspection, and real-time WebSocket communication through natural language commands.8
- FlicenseBqualityBmaintenanceAdds persistent QA state to browser automation, enabling AI agents to maintain session-scoped artifacts and generate reports across multiple steps.8
- FlicenseBqualityCmaintenanceEnables Codex CLI to perform code reviews on uncommitted changes via an MCP tool, keeping review context separate from the main session.15
- AlicenseDqualityCmaintenanceAn MCP server that enables reading and managing Zentao tasks, bugs, requirements, test cases, and test suites via the ZenTao 11.3 Legacy Session API. It integrates with MCP clients like Codex, Claude Desktop, and Cursor.48MIT
- Alicense-qualityAmaintenanceEnables mobile device management, app upload, automation session execution, and test result viewing through the Kobiton platform, integrated with AI coding assistants.64112MIT
MCP Appiumofficial
Alicense-qualityAmaintenanceEnables AI assistants to automate mobile app testing and development for iOS and Android through natural language interactions. Supports intelligent element identification, session management, automated test generation, and comprehensive device interactions including clicks, swipes, screenshots, and app management.7,411450Apache 2.0- Alicense-qualityBmaintenanceEnables automated testing and development of Expo/React Native apps through session-based Expo dev server management and Maestro UI automation tools for tapping, text input, screenshots, and flow execution.147,9025MIT
- Alicense-qualityCmaintenanceLocal MCP server for Android and iOS mobile automation and performance telemetry, enabling device control (screenshot, tap, swipe, input, app launch) and metric collection (CPU, memory, launch time) via ADB, simctl, and WebDriverAgent with SQLite session history.301MIT
- Alicense-qualityCmaintenanceEnables headless debugging of Windows executables from Linux/macOS hosts by orchestrating winedbg's gdbserver and a GDB client, exposing 19 tools for launch, attach, breakpoints, stepping, register/memory access, and session lifecycle.MIT
- Alicense-qualityCmaintenanceAn MCP proxy that connects AI clients to the remote Squidler MCP server while providing local Chrome session management for testing localhost URLs. It enables transparent tool forwarding and allows browser-based test cases to run through a local browser instead of cloud instances.17MIT
- Alicense-qualityDmaintenanceMCP server for orchestrating multi-process rr debugging sessions with reverse execution, breakpoints, and dynamic session state.1MIT
- Alicense-qualityDmaintenanceProvides Appium mobile automation capabilities to Claude and other MCP-compatible clients, enabling cross-platform iOS and Android automation, element interaction, and session management.6136MIT
- Alicense-qualityAmaintenanceAI-safe mobile device control via MCP: a policy-guarded, session-oriented mobile automation harness for AI agents with 66 MCP tools and an Explorer for automatic page traversal.2MIT
- Alicense-qualityBmaintenancePrivacy-preserving feedback co-author for Claude Code that redacts sensitive data from session transcripts before submitting bug reports, ensuring only confirmed content is uploaded.Apache 2.0
- Flicense-qualityCmaintenanceEnables AI agents to query and triage Bugzar QA session reports (status, comments, repro steps, console errors, failed requests, network, system info) scoped to a project via the MCP protocol.
