Enables Claude to write, compile, and execute formal verification models in Alloy and read raw mathematical graph structures back into its context window.
Getting started
Add Alloy MCP Server to your MCP-capable client — Claude Code, Cursor, Codex, and others — by following the setup at the source, which documents the exact command, configuration, and any required API keys.
