MCP servers from io.github.dushyant30suthar
12 deterministic graph tools for structural analysis. No AI inside.
EN Diagram — structural verification for concurrent systems. Pure math, no AI.
