Alloy MCP Server
by joel6603
Enables Claude to write, compile, and execute formal verification models in Alloy and read raw mathematical graph structures back into its context window.
Details
- Publisher
- joel6603
- Status
- active
by joel6603
Enables Claude to write, compile, and execute formal verification models in Alloy and read raw mathematical graph structures back into its context window.