Skip to content
mcp/harbor
Verified official

tla plus mcp MCP

v1.0.0

io.github.mrfentmen/tla-plus-mcp

TLA+ MCP: 20 real tools to read, check, lint, scaffold, build and run TLA+ code.

transport:stdio runtime:npm
View source

Target client

run in your project directory 

claude mcp add tla-plus-mcp -- npx -y @mrfentmen/tla-plus-mcp

setup guides: Claude Code Claude Desktop Cursor VS Code Zed Windsurf Cline Gemini CLI Grok LangChain

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.