io.github.dushyant30suthar/endiagram-mcp

MCPcommunauté
v0.3.16io.github.dushyant30sutharUnknownMis à jour il y a 4 moisnpmGitHub

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,…

Fonctionne dans
ClaudeCursorCopilotChatGPTGemini

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.

Indexé automatiquement depuis des sources publiques. Pas encore vérifié par son développeur sur Forge.Revendiquer cette annonce →
il y a 4 moisDernière mise à jour
Paquet
Auteurio.github.dushyant30suthar
LicenceUnknown
Version0.3.16
Sourcemcp-registry
Statut de confiance
F
10/100Non fiable
Listé dans l’index Forge+10/10
Identité de l’éditeur vérifiée+0/20
Éditeur : exécutez `forge publish` depuis le dépôt du paquet pour revendiquer la propriété
Signature de publication Ed25519+0/5
Incluse automatiquement quand l’éditeur exécute `forge publish`
Vérification de domaine+0/5
Éditeur : hébergez /.well-known/forge.json sur la page d’accueil du paquet avec { "publisher": "<github-login>" }
npm Trusted Publishing (Sigstore)+0/5
Publiez depuis GitHub Actions avec --provenance pour que l’attestation lie ce paquet à ce dépôt
Correspondance de mainteneur npm+0/5
Acquis dès que votre identité est vérifiée ci-dessus et que ce login est mainteneur npm de ce paquet
Analyse CVE · non exécutée+0/30
Pas encore analysé — le paquet doit être sur npm
Analyse statique · propre+0/20
Pas encore analysé — le paquet doit être sur npm
Collez-le dans Claude Code, Cursor ou tout assistant d’IA pour combler toutes les lacunes
StatutIndexé par la communauté
ÉditeurNon vérifié
SignatureNon signé
Domaine
Provenance
DépendancesNon audité
Surface d’outils
Analyse de sécuritéNon exécutée
ÉvaluationsAucune
Indexé13 juin 2026

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.

Outils

Pas encore sondé

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.

À propos

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 —…

Mots-clés
mcp
Alternatives
Comparaison des surfaces d’outils…