MCP server for EN Diagram — six questions about any system (structure, invariants, liveness, reachability, equivalence, composition)
Free
Scanned where there is a package or repository to read, and every release diffed against the tool surface we already hold.
MCP server for EN Diagram — six questions about any system (structure, invariants, liveness, reachability, equivalence, composition)