Enables Claude to write, compile, and execute formal verification models in Alloy and read raw mathematical graph structures back into its context window.
复制安装指令，让 AI 自动完成配置 · 推荐新手
"Alloy MCP Server" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
该资产暂无文档说明
可前往源码仓库查看用法与示例。