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