mcp-server-alloy

Live connection (MCP) · glama · 0 Rokha runs · 0 downloads · ⚖ MIT License

Enables LLM-powered agents to generate, execute, and analyze Alloy modeling language code for software modeling and formal verification. Provides tools to run Alloy models, access documentation and examples, and generate models from system descriptions.

mcp agent docs code

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