tlaplus-mcp
01MCP server Claude CodeCodexCursor +2
MCP server for TLA+ toolchain (TLC, SANY, PlusCal, TLATeX). Runs locally from the @richashworth/tlaplus-mcp npm package.
not rated 1 5mo ago A
tokens not measured
copy · 69% MIT
MCP server Claude CodeCodexCursor +2
MCP server for TLA+ toolchain (TLC, SANY, PlusCal, TLATeX). Runs locally from the @richashworth/tlaplus-mcp npm package.