Alloy MCP ServerCode AnalysisDeveloper Toolsjoel6603Flicense-qualityCmaintenanceEnables 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