Front-End Checklist
Verified · 2 days agoReview frontend code and live pages against 386 quality-gated web development rules.
endiagram-mcp
Verified · 5 days agoEN 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.
Verification record
- 5 days ago
- 8
- 6 mo ago
- no
- MIT
- 139
- 0.3.16
- 2026-04-21
More in other
browse all →Chrome DevTools MCP
Verified · 17 days agoMCP server for Chrome DevTools
Reactive Resume
Verified · 17 days agoFree open-source resume builder with remote MCP tools for resumes and job applications.
PostHog MCP Server
Verified · 20 days agoOfficial PostHog MCP Server for product analytics, feature flags, experiments, and more.
mcp-server-commands
Verified · 17 days agoAn MCP server to run arbitrary commands
OpenWork MCP Gateway
Verified · 7 days agoYour OpenWork org's skills, plugins, workflows, and connections through one OAuth MCP URL.