MCP server for EN Diagram — six questions about any system (structure, invariants, liveness, reachability, equivalence, composition) answered with graph theory. Plus a render tool. Pure math, no AI in…
{
"mcpServers": {
"endiagrammcp": {
"command": "npx",
"args": [
"-y",
"@endiagram/mcp"
]
}
}
}