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
1Stars on the repository
2Mods indexed here, across every type
5mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown