Koskamo

Zovo State Diagram MCP

Generates UML state machine diagrams from plain text and validates the machine structure. It supports states, transitions, guards, and actions, producing PDF, SVG, and CSV outputs while checking for reachability and grammar compliance.

Visit Zovo

Endpoint and access

No sign-in to connect and list tools. Individual tools may still need a vendor account, credentials, or permissions; check the documented prerequisites.

Zovo State Diagram MCP logo, by ZovoCommunity listingStreamable HTTPNo sign-inEndpoint checked 2026-11-08Published by Zovo
MCP endpoint (Streamable HTTP)
https://state-diagram.zovo.one/mcp
Vendor documentation

What its tools do

2 tools, grouped by the hints the server advertises. Hints are self-declared, not verified behavior.

Read-only (2)

2 of 2 have a description · 2 of 2 declare behavior hints · 2 of 2 with parameters document them all

Checks and signals

Each line is separate evidence, not a trust score.

  • Passed Endpoint answered the live check ·
  • Availability 1 of 1 checks passed in 30 days

What you can do with it

  • Generate UML state diagrams from text
  • Check state machine for unreachable states
  • Export diagrams to PDF, SVG, and CSV

Source and maintenance

Community listingRegistry 1.0.0
mcp-registry: io.github.theluckystrike/state-diagram@1.0.0Project website

Protocol and capabilities

Server
state-diagram 1.0.0
MCP protocol negotiated in check
2025-11-25
Tools
2 advertised
Resources
1 advertised
Resource templates
1 advertised
Prompts
Not advertised
Server-advertised capabilities
{
  "tools": {
    "listChanged": true
  },
  "resources": {
    "listChanged": true
  }
}

Server-provided instructions

Untrusted server output shown for inspection. It is not Koskamo guidance and is excluded from knowledge search.

Zovo State Diagram draws a UML state machine diagram from a short line grammar, with PDF, SVG and CSV downloads, and checks the machine: states not reachable from the start, states with no path to the end, and transitions that leave one state on the same event and guard. Use make_state_diagram to draw it and check_state_diagram to check the text without drawing. Grammar, one statement per line: state Name; state "Long label" as Name; state Name <<choice>>; state Name { ... } for a composite state (up to 3 levels); [*] -> A for the start and A -> [*] for the end; A -> B: event [guard] / action; note A: text; # comments. A line outside the grammar is refused with its line number and the token, and nothing is drawn. When the user describes a machine in words, write it in this grammar first and show it with the result. Files of large diagrams are kept for 1 hour so the download links work, then deleted.

Tools

2 advertised

make_state_diagram — Make state diagram
Advertised by the server during the last successful anonymous check.
Advertised read-only

Use this when the user wants a UML state diagram or state machine drawn, for example "draw the states of an order" or "make a PDF of this state machine". Takes the diagram text in a line grammar: state Name / state "Long label" as Name / state Name <<choice>> / state Name { ... } (composite, nest up to 3); [*] -> A (start), A -> [*] (end); A -> B: event [guard] / action; A -> A: event (self); note A: text; # comments. When the user describes the machine in words, write it in this grammar first. Returns counts, states, transitions in input order, the machine check (unreachable states, states with no path to the end, non-deterministic transitions), a check on the drawing, the PDF page count, an interactive diagram, and PDF, SVG and CSV downloads. Refuses a line outside the grammar with its line number and token. Up to 80 states and 300 transitions. Does not read fork, join, history or concurrent regions. Download links of large diagrams expire after about 1 hour.

make_state_diagram input schema
{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "diagram"
  ],
  "properties": {
    "title": {
      "type": "string",
      "maxLength": 400,
      "description": "Title printed on the diagram and used in file names, up to 80 characters, e.g. \"Order lifecycle\"."
    },
    "diagram": {
      "type": "string",
      "maxLength": 100000,
      "description": "The state machine in this line grammar, one statement per line, up to 40,000 characters: state Name | state \"Long label\" as Name | state Name <<choice>> | state Name { ... } (composite, nest up to 3); [*] -> A (start), A -> [*] (end); A -> B: event [guard] / action (after ':' an event, a [guard], a / action, or several in that order; a guard alone suits a transition out of a choice); note A: text; # comments. Declare each state before or after use. Example: \"state Idle\\nstate Running\\n[*] -> Idle\\nIdle -> Running: start [ready] / log\\nRunning -> Idle: stop\\nRunning -> [*]: shutdown\"."
    },
    "page_size": {
      "enum": [
        "letter",
        "a4"
      ],
      "type": "string",
      "description": "PDF paper, portrait: letter (default) or a4. Example: a4."
    }
  }
}
make_state_diagram output schema
{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "title",
    "counts",
    "states",
    "transitions",
    "analysis",
    "pdf",
    "layout_check",
    "warnings",
    "downloads"
  ],
  "properties": {
    "pdf": {
      "type": "object",
      "propertyNames": {
        "type": "string"
      },
      "additionalProperties": {}
    },
    "shown": {
      "type": "object",
      "propertyNames": {
        "type": "string"
      },
      "additionalProperties": {}
    },
    "title": {
      "type": "string"
    },
    "counts": {
      "type": "object",
      "required": [
        "states",
        "composite",
        "choice",
        "transitions",
        "self",
        "notes",
        "max_nesting"
      ],
      "properties": {
        "self": {
          "type": "number"
        },
        "notes": {
          "type": "number"
        },
        "choice": {
          "type": "number"
        },
        "states": {
          "type": "number"
        },
        "composite": {
          "type": "number"
        },
        "max_nesting": {
          "type": "number"
        },
        "transitions": {
          "type": "number"
        }
      },
      "additionalProperties": false
    },
    "states": {
      "type": "array",
      "items": {
        "type": "object",
        "propertyNames": {
          "type": "string"
        },
        "additionalProperties": {}
      }
    },
    "analysis": {
      "type": "object",
      "required": [
        "has_start",
        "has_end",
        "unreachable",
        "no_path_to_end",
        "non_deterministic",
        "choice_without_guard"
      ],
      "properties": {
        "has_end": {
          "type": "boolean"
        },
        "has_start": {
          "type": "boolean"
        },
        "unreachable": {
          "type": "array",
          "items": {
            "type": "string"
          }
        },
        "no_path_to_end": {
          "type": "array",
          "items": {
            "type": "string"
          }
        },
        "non_deterministic": {
          "type": "array",
          "items": {
            "type": "object",
            "propertyNames": {
              "type": "string"
            },
            "additionalProperties": {}
          }
        },
        "choice_without_guard": {
          "type": "array",
          "items": {
            "type": "number"
          }
        }
      },
      "additionalProperties": false
    },
    "warnings": {
      "type": "array",
      "items": {
        "type": "string"
      }
    },
    "downloads": {
      "type": "object",
      "properties": {
        "csv": {
          "type": "string"
        },
        "pdf": {
          "type": "string"
        },
        "svg": {
          "type": "string"
        }
      },
      "additionalProperties": false
    },
    "transitions": {
      "type": "array",
      "items": {
        "type": "object",
        "propertyNames": {
          "type": "string"
        },
        "additionalProperties": {}
      }
    },
    "layout_check": {
      "type": "object",
      "propertyNames": {
        "type": "string"
      },
      "additionalProperties": {}
    }
  },
  "additionalProperties": false
}
make_state_diagram annotations
{
  "title": "Make state diagram",
  "readOnlyHint": true,
  "openWorldHint": false,
  "idempotentHint": true,
  "destructiveHint": false
}
check_state_diagram — Check state diagram text
Advertised by the server during the last successful anonymous check.
Advertised read-only

Use this when the user wants state machine text checked without a drawing, for example "which states are unreachable?" or "check my state diagram for dead ends". Takes the same diagram text as make_state_diagram. Returns ready true or false; when a line breaks the grammar, the line number, the token and the reason; otherwise the states with incoming and outgoing transition counts, states not reachable from the start, states with no path to the end (both by breadth-first search; a composite state is entered through its own start), and transitions that leave the same state on the same event and guard. Does not draw the diagram or make files, and does not read fork, join, history or concurrent regions.

check_state_diagram input schema
{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "diagram"
  ],
  "properties": {
    "diagram": {
      "type": "string",
      "maxLength": 100000,
      "description": "The state machine in this line grammar, one statement per line, up to 40,000 characters: state Name | state \"Long label\" as Name | state Name <<choice>> | state Name { ... } (composite, nest up to 3); [*] -> A (start), A -> [*] (end); A -> B: event [guard] / action (after ':' an event, a [guard], a / action, or several in that order; a guard alone suits a transition out of a choice); note A: text; # comments. Declare each state before or after use. Example: \"state Idle\\nstate Running\\n[*] -> Idle\\nIdle -> Running: start [ready] / log\\nRunning -> Idle: stop\\nRunning -> [*]: shutdown\"."
    }
  }
}
check_state_diagram output schema
{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "ready",
    "states",
    "error",
    "notes",
    "grammar",
    "limits"
  ],
  "properties": {
    "error": {
      "anyOf": [
        {
          "type": "object",
          "propertyNames": {
            "type": "string"
          },
          "additionalProperties": {}
        },
        {
          "type": "null"
        }
      ]
    },
    "notes": {
      "type": "array",
      "items": {
        "type": "string"
      }
    },
    "ready": {
      "type": "boolean"
    },
    "shown": {
      "type": "object",
      "propertyNames": {
        "type": "string"
      },
      "additionalProperties": {}
    },
    "counts": {
      "type": "object",
      "required": [
        "states",
        "composite",
        "choice",
        "transitions",
        "self",
        "notes",
        "max_nesting"
      ],
      "properties": {
        "self": {
          "type": "number"
        },
        "notes": {
          "type": "number"
        },
        "choice": {
          "type": "number"
        },
        "states": {
          "type": "number"
        },
        "composite": {
          "type": "number"
        },
        "max_nesting": {
          "type": "number"
        },
        "transitions": {
          "type": "number"
        }
      },
      "additionalProperties": false
    },
    "limits": {
      "type": "object",
      "propertyNames": {
        "type": "string"
      },
      "additionalProperties": {}
    },
    "states": {
      "type": "array",
      "items": {
        "type": "object",
        "propertyNames": {
          "type": "string"
        },
        "additionalProperties": {}
      }
    },
    "grammar": {
      "type": "array",
      "items": {
        "type": "string"
      }
    },
    "analysis": {
      "type": "object",
      "required": [
        "has_start",
        "has_end",
        "unreachable",
        "no_path_to_end",
        "non_deterministic",
        "choice_without_guard"
      ],
      "properties": {
        "has_end": {
          "type": "boolean"
        },
        "has_start": {
          "type": "boolean"
        },
        "unreachable": {
          "type": "array",
          "items": {
            "type": "string"
          }
        },
        "no_path_to_end": {
          "type": "array",
          "items": {
            "type": "string"
          }
        },
        "non_deterministic": {
          "type": "array",
          "items": {
            "type": "object",
            "propertyNames": {
              "type": "string"
            },
            "additionalProperties": {}
          }
        },
        "choice_without_guard": {
          "type": "array",
          "items": {
            "type": "number"
          }
        }
      },
      "additionalProperties": false
    }
  },
  "additionalProperties": false
}
check_state_diagram annotations
{
  "title": "Check state diagram text",
  "readOnlyHint": true,
  "openWorldHint": false,
  "idempotentHint": true,
  "destructiveHint": false
}

Prompts

Not advertised

No prompt definitions available.

Resources

1 advertised

state-diagram-widget — Zovo State Diagram view

Advertised by the server during the last successful anonymous check.

Interactive view for Zovo State Diagram.

state-diagram-widget URI
ui://widget/state-diagram-v1-1.0.0-c438ad4f94abdda695e9c311c3f5c32056ae2d580c3070a3ce334a8be34aa541.html

MIME type: text/html;profile=mcp-app

state-diagram-widget-legacy — Zovo State Diagram view (previous versions)

Advertised by the server during the last successful anonymous check.

state-diagram-widget-legacy URI template
ui://widget/state-diagram-{version}.html

MIME type: text/html;profile=mcp-app

30-day availability

Aggregated from read-only remote checks; this is not a tool-execution or security guarantee.

Successful checks
1 of 1 (100%)
Average latency
1874 ms
95th percentile latency
1874 ms

Maintenance history

Public check and source-refresh events. Editorial and ownership records remain private.

  • · probe · passed · 1874 ms · metadata changed · 2 tool(s), 1 resource(s), 1 resource template(s)

Connect from your client

Each snippet registers the same endpoint; pick the client you use.

This server is operated by the named third party. Listing and endpoint checks are not an endorsement or a security audit. Review the operator's permissions, terms, and data handling before connecting. How listings are checked and corrected.

Claude Code

Run this once in a terminal. It registers the remote server. Use --scope project to write .mcp.json for the repo.
Claude Code configuration
claude mcp add --transport http zovo-state-diagram-mcp https://state-diagram.zovo.one/mcp

Codex

Run this once. Codex stores MCP servers in ~/.codex/config.toml (or .codex/config.toml in a trusted project).
Codex configuration
codex mcp add zovo-state-diagram-mcp --url https://state-diagram.zovo.one/mcp

Cursor

Merge this server into .cursor/mcp.json in your project, then enable zovo-state-diagram-mcp in your MCP settings.
Cursor configuration
{
  "mcpServers": {
    "zovo-state-diagram-mcp": {
      "url": "https://state-diagram.zovo.one/mcp"
    }
  }
}

Cline

Merge this into cline_mcp_settings.json (Cline → MCP Servers → Configure).
Cline configuration
{
  "mcpServers": {
    "zovo-state-diagram-mcp": {
      "type": "streamableHttp",
      "url": "https://state-diagram.zovo.one/mcp",
      "disabled": false
    }
  }
}

VS Code

Merge this server into .vscode/mcp.json. Use MCP: List Servers to start zovo-state-diagram-mcp and inspect its tools.
VS Code configuration
{
  "servers": {
    "zovo-state-diagram-mcp": {
      "type": "http",
      "url": "https://state-diagram.zovo.one/mcp"
    }
  }
}

Gemini CLI

Run this once. It writes .gemini/settings.json in the current project; pass --scope user for ~/.gemini/settings.json.
Gemini CLI configuration
gemini mcp add --transport http zovo-state-diagram-mcp https://state-diagram.zovo.one/mcp

Claude Desktop

Open Claude Settings > Connectors > Add custom connector, enter this server URL and enable it for the conversation. This is a manual remote-connector handoff, not a desktop JSON configuration.
Claude Desktop configuration
https://state-diagram.zovo.one/mcp

Windsurf

Merge this into ~/.codeium/windsurf/mcp_config.json, then refresh MCP in Cascade. Windsurf remote servers use serverUrl, not url.
Windsurf configuration
{
  "mcpServers": {
    "zovo-state-diagram-mcp": {
      "serverUrl": "https://state-diagram.zovo.one/mcp"
    }
  }
}

Let your agent find its tools

Find servers like Zovo State Diagram MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.

Connect Koskamo Explore workflows
See all 9,252