Maude for Claude
Dev Tools
Local
Maude for Claude — listed on mcpservers.org. Open the server page for setup details.
How to connect
1
Get started
Open https://mcpservers.org/servers/john-broadway/maude-for-claude for documentation and connection details.
Tools
Tool names are not listed in our registry for this server. Connect it in your MCP client to see the live tool list.