Stats
Actions
Tags
Copy this JSON into your .mcp.json to enable this server
Add to your .mcp.json:
{
"mcpServers": {
"tlaplus": {
"command": "npx",
"args": [
"-y",
"@richashworth/tlaplus-mcp"
]
}
}
}Server configuration and connection parameters
npxCommand-line arguments passed to the server process
npx claudepluginhub richashworth/tlaplus-workflow --plugin tlaplus-workflow