"author:joel6603" matching MCP servers:

• Alloy MCP Server

  joel6603

  F

  license

  -

  quality

  C

  maintenance

  Enables Claude to write, compile, and execute formal verification models in Alloy and read raw mathematical graph structures back into its context window.

  Last updated 2026-06-22