io.github.dushyant30suthar/endiagram-mcp

MCPcommunity
v0.3.16io.github.dushyant30sutharUnknownAggiornato 4 mesi fanpmGitHub

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

Funziona in
ClaudeCursorCopilotChatGPTGemini

Dedotto dai trasporti dichiarati da questo annuncio (stdio, streamable-http). Un client che non compare qui non è escluso — semplicemente Forge non è in grado di confermarlo.

Indicizzato automaticamente da fonti pubbliche. Non ancora verificato dal suo sviluppatore su Forge.Rivendica questo annuncio →
4 mesi faUltimo aggiornamento
Pacchetto
Autoreio.github.dushyant30suthar
LicenzaUnknown
Versione0.3.16
Fontemcp-registry
Stato di fiducia
F
10/100Non affidabile
Presente nell’indice di Forge+10/10
Identità del publisher verificata+0/20
Publisher: esegui `forge publish` dal repo del pacchetto per rivendicarne la proprietà
Firma di pubblicazione Ed25519+0/5
Inclusa automaticamente quando il publisher esegue `forge publish`
Verifica del dominio+0/5
Publisher: ospita /.well-known/forge.json sulla homepage del pacchetto con { "publisher": "<github-login>" }
npm Trusted Publishing (Sigstore)+0/5
Pubblica da GitHub Actions con --provenance perché l’attestation leghi questo pacchetto a questo repo
Corrispondenza del maintainer npm+0/5
Si ottiene quando la tua identità è verificata qui sopra e quel login è maintainer npm di questo pacchetto
Analisi CVE · non eseguita+0/30
Non ancora analizzato — il pacchetto deve essere su npm
Analisi statica · pulita+0/20
Non ancora analizzato — il pacchetto deve essere su npm
Incollalo in Claude Code, Cursor o qualsiasi assistente di IA per colmare tutte le lacune
StatoIndicizzato dalla community
PublisherNon verificato
FirmaNon firmato
Dominio
Provenienza
DipendenzeNon verificate
Superficie di strumenti
Analisi di sicurezzaNon eseguita
ValutazioniNessuna
Indicizzato13 giu 2026

La verifica conferma l’identità del publisher (la proprietà del repo), non la sicurezza del codice. L’analisi di sicurezza copre i CVE noti e gli script di installazione sospetti.

Strumenti

Non ancora sondato

Forge non ha completato alcun handshake tools/list verso questo endpoint, quindi non ha alcuna osservazione di ciò che il server espone. Nulla di tutto ciò dice che non esponga nulla.

Descrizione

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

Parole chiave
mcp
Alternative
Confronto delle superfici di strumenti…