Browser Automation MCP Servers
Whoop MCP Server
This section explores how the Dafny program verifier can leverage the Model Context Protocol (MCP) to enhance its functionality and integration with other verification tools and services.
Room MCP Servers