Related Servers

No user-submitted related servers found.

Related Servers

• MCP Server for Alloy Modeling

  awwaiid

  A

  license

  B

  quality

  D

  maintenance

  Enables LLM-powered agents to generate, execute, and analyze Alloy modeling language code for software modeling and formal verification. Provides tools to run Alloy models, access documentation and examples, and generate models from system descriptions.

  Updated a year ago (2025-10-05 00:41 UTC)

  1

  MIT

• tlaplus-mcp

  richashworth

  A

  license

  A

  quality

  D

  maintenance

  Exposes the TLA+ toolchain (TLC, SANY, PlusCal, TLATeX) as structured JSON tools via the Model Context Protocol, enabling AI assistants to parse, check, simulate, and typeset TLA+ specifications.

  Updated 5 months ago (2026-05-14 20:45 UTC)

  9

  18 npm

  1

  MIT

• mcp-server-quint

  dpdanpittman

  F

  license

  A

  quality

  D

  maintenance

  Integrates the Quint formal specification language into LLM workflows for accessible formal verification. It provides tools for type-checking, random simulation, exhaustive model checking, and syntax documentation.

  Updated 7 months ago (2026-03-06 01:54 UTC)

  6

  2

  -

• Claude Code Starter Kit MCP

  dachivadachkoria

  A

  license

  C

  quality

  C

  maintenance

  Enables AI-powered automated testing, security scanning, code review, and maintenance tasks directly within Claude Code or desktop.

  Updated 7 months ago (2026-03-08 21:09 UTC)

  12

  4

  MIT

• code-grapher

  mufasadb

  F

  license

  -Not graded

  quality

  D

  maintenance

  Enables Claude to intelligently analyze and query codebases using knowledge graphs, supporting natural language code search, relationship discovery, and incremental updates.

  Updated a year ago (2025-08-06 09:59 UTC)

  11

  -

• onshape-mcp

  kyle-nelson-berkeley

  A

  license

  -Not graded

  quality

  C

  maintenance

  Enables Claude Code to drive OnShape CAD through the REST API for parametric modeling, FeatureScript queries, and STL export/verification.

  Updated a month ago (2026-08-24 10:43 UTC)

  MIT