io.github.dushyant30suthar/endiagram-mcpother

endiagram-mcp

Verified · 19 days ago

EN Diagram — structural verification for concurrent systems. Pure math, no AI.

Install

claude mcp add --transport http endiagram-mcp https://api.endiagram.com/mcp

Our take

Implements EN Diagram-based structural verification for concurrent systems, with an explicitly formal and non-LLM focus. It is for developers or researchers working on concurrency models who want mathematical verification tools exposed through MCP. The description is unusually specific, which is a good sign for scope control, but it also makes this a niche tool with limited mainstream validation.

reviewed by hand · 2026-07-13

Something wrong or dead here? Report it

Verification record

last verified
19 days ago
github stars
8
last commit
4 mo ago
archived
no
license
MIT
npm
@endiagram/mcp
downloads / wk
229
latest version
0.3.16
in registry since
2026-04-21

github.com/dushyant30suthar/endiagram-mcp

More in other

browse all →
chrome-devtools-mcpother

Chrome DevTools MCP

Verified · 3 days ago

MCP server for Chrome DevTools

hand-reviewed49k starschecked 3 days ago

reactive-resumeother

Reactive Resume

Verified · 3 days ago

Free open-source resume builder with remote MCP tools for resumes and job applications.

hand-reviewed41k starschecked 3 days ago

mcp-server-commandsother

mcp-server-commands

Verified · 3 days ago

An MCP server to run arbitrary commands

hand-reviewed39k stars221 dl/wkchecked 3 days ago

mcpother

PostHog MCP Server

Verified · 5 days ago

Official PostHog MCP Server for product analytics, feature flags, experiments, and more.

hand-reviewed38k starschecked 5 days ago

mcpother

Keploy

Verified · 18 days ago

End-to-end API testing — generate and run tests from OpenAPI, curl, Postman, or real user traffic.

hand-reviewed18k starschecked 18 days ago

coderother

Coder

Verified · 19 days ago

Manage Coder workspaces, templates, and cloud development environments

hand-reviewed14k starschecked 19 days ago