tlaplus-mcp
01MCP server Claude CodeCodexCursor
MCP server for TLA+ toolchain (TLC, SANY, PlusCal, TLATeX). Runs locally from the @richashworth/tlaplus-mcp npm package.
not rated 1 3mo ago A
tokens not measured
copy · 59% MIT
1Stars on the repository
2Mods indexed here, across every type
3mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown