alloy-mcp-server

Live connection (MCP) · glama · 0 Rokha runs · 0 downloads

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

mcp memory

The phone book — and the kitchen — of the agentic world. Search 190k+ skills and MCP servers, then run them for real.