Load a TLC-generated DOT state graph file and return it in a structured format for exploration. Supports raw DOT, simplified adjacency list, or full JSON format with disambiguated actions, invariants, and violation traces.
AI agents call tla_state_graph to retrieve information from Tlaplus without modifying anything — typically the context-gathering step in research, monitoring, and reporting workflows, before the agent takes action elsewhere.
This tool reads and parses an existing TLC-generated artifact (a DOT state graph file) and returns it in various structured formats (raw DOT, adjacency list, JSON). It performs no writes, deletions, code execution, or financial operations. The worst-case misuse scenario would be resource exhaustion from processing a very large graph file, which is a low-severity concern.
From the tool's definition Tool description states: 'Load a TLC-generated DOT state graph file and return it in a structured format for exploration.' The verb 'Load' and 'return' indicate data retrieval with no modification or execution.
Attacks that exploit this kind of access
Load a TLC-generated DOT state graph file and return it in a structured format for exploration. Supports raw DOT, simplified adjacency list, or full JSON format with disambiguated actions, invariants, and violation traces. It is categorised as a Read tool in the Tlaplus MCP Server, which means it retrieves data without modifying state.
Register the Tlaplus MCP server in PolicyLayer and add a rule for tla_state_graph: allow, deny, rate-limit, or require approval. Point your MCP client at the PolicyLayer proxy URL and the rule is enforced on every call, before it reaches Tlaplus. Nothing to install.
tla_state_graph is a Read tool with low risk. Read-only tools are generally safe to allow by default.
Yes. Add a rate_limit block to the tla_state_graph rule in your PolicyLayer policy. For example, setting max: 10 and window: 60 limits the tool to 10 calls per minute. Rate limits are tracked per agent session and reset automatically.
Set action: deny in the PolicyLayer policy for tla_state_graph. The AI agent will receive a policy violation error and cannot call the tool. You can also include a reason field to explain why the tool is blocked.
tla_state_graph is provided by the Tlaplus MCP server (richashworth/tlaplus-mcp). PolicyLayer sits as a proxy in front of this server to enforce policies before tool calls reach the server.
Every MCP server has a record like this.
Type a name, get the same breakdown: verified identity, auth posture, risk grade, capabilities, recommended policy.
Teams ship this data inside their own products. See what a licence covers →