Back to Directory/Developer Tools

io.github.dushyant30suthar/endiagram-mcp

EN Diagram — structural verification for concurrent systems. Pure math, no AI.

Developer Toolsv0.3.9