io.github.dushyant30suthar/endiagram-mcp

MCPcomunidad
v0.3.16io.github.dushyant30sutharUnknownActualizado hace 4 mnpmGitHub

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

Funciona en
ClaudeCursorCopilotChatGPTGemini

Inferido de los transportes que declara este listado (stdio, streamable-http). Que un cliente no aparezca aquí no significa que se haya descartado: simplemente Forge no puede confirmarlo.

Indexado automáticamente desde fuentes públicas. Aún sin verificar por su desarrollador en Forge.Reclamar este listado →
hace 4 mÚltima actualización
Paquete
Autorio.github.dushyant30suthar
LicenciaUnknown
Versión0.3.16
Fuentemcp-registry
npm@endiagram/mcp
GitHubdushyant30suthar/endiagram-mcp
SBOMCycloneDX 1.6 ↓
Estado de confianza
F
10/100No fiable
✓Listado en el índice de Forge+10/10
—Identidad del publicador verificada+0/20
→ Publicador: ejecuta `forge publish` desde el repo del paquete para reclamar la propiedad
—Firma de publicación Ed25519+0/5
→ Se incluye automáticamente cuando el publicador ejecuta `forge publish`
—Verificación de dominio+0/5
→ Publicador: aloja /.well-known/forge.json en la página del paquete con { "publisher": "<github-login>" }
—npm Trusted Publishing (Sigstore)+0/5
→ Publica desde GitHub Actions con --provenance para que la attestation vincule este paquete a este repo
—Coincidencia de maintainer en npm+0/5
→ Se consigue cuando tu identidad esté verificada arriba y ese login sea maintainer de este paquete en npm
—Análisis CVE · no ejecutado+0/30
→ Aún sin analizar: el paquete debe estar en npm
—Análisis estático · limpio+0/20
→ Aún sin analizar: el paquete debe estar en npm
Pégalo en Claude Code, Cursor o cualquier asistente de IA para corregir todas las carencias
EstadoIndexado por la comunidad
PublicadorSin verificar
FirmaSin firmar
Dominio—
Procedencia—
DependenciasSin auditar
Superficie de herramientas—
Análisis de seguridadNo ejecutado
EvaluacionesNinguna
Indexado13 jun 2026

La verificación confirma la identidad del publicador (la propiedad del repo), no la seguridad del código. El análisis de seguridad cubre los CVE conocidos y los scripts de instalación sospechosos.

Herramientas

Aún sin sondear

Forge no ha completado un handshake tools/list contra este endpoint, así que no tiene ninguna observación de lo que expone el servidor. Nada de esto dice que no exponga nada.

Acerca de

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

Palabras clave
mcp
Alternativas
Comparando superficies de herramientas…