🔧

tlaplus-mcp

🔧MCP Server

richashworth/tlaplus-mcp

glama

Installation

Claude CodeAuto-generated from README. View full documentation on GitHub →

claude mcp add tlaplus -- npx -y @richashworth/tlaplus-mcp

Server ConfigurationServer configuration (JSON)

{
  "mcpServers": {
    "tlaplus": {
      "command": "npx",
      "args": ["-y"...

Last UpdatedMay 14, 2026