EN Diagram — structural verification for concurrent systems. Pure math, no AI.
MCP server for EN Diagram — deterministic structural analysis powered by graph theory. Every result is backed by a named mathematical theorem. No AI inside the computation. Add to in your project root: Any MCP client that supports HTTP transport: Variable | Default | Description | ----------|---------|-------------| | | API endpoint for the EN Diagram service | Six questions about any system,…
Déduit des transports déclarés par cette annonce (stdio, streamable-http). Un client absent de cette liste n’est pas écarté pour autant — c’est simplement quelque chose que Forge ne peut pas confirmer.
La vérification confirme l’identité de l’éditeur (la propriété du dépôt), pas la sûreté du code. L’analyse de sécurité couvre les CVE connues et les scripts d’installation suspects.
Forge n’a pas mené à bien d’échange tools/list contre cet endpoint et n’a donc aucune observation de ce que le serveur expose. Rien ici ne dit qu’il n’expose rien.
MCP server for EN Diagram — deterministic structural analysis powered by graph theory. Every result is backed by a named mathematical theorem. No AI inside the computation. Add to in your project root: Any MCP client that supports HTTP transport: Variable | Default | Description | ----------|---------|-------------| | | API endpoint for the EN Diagram service | Six questions about any system, plus a render tool. Every tool takes (EN code or / file path). Tool names are shorthand, not specs —…