Stats
Actions
Tags
From tla-rs
Custom MCP server that runs a local process via the 'tla-mcp' executable. The specific service or functionality is not identifiable from the configuration provided.
Copy this JSON into your .mcp.json to enable this server
Add to your .mcp.json:
{
"mcpServers": {
"tla": {
"command": "tla-mcp"
}
}
}Server configuration and connection parameters
tla-mcpnpx claudepluginhub fabracht/tla-rs