r33drichards/minizinc-mcp
3.3
If you are the rightful owner of minizinc-mcp and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to dayong@mcphub.com.
A Model Context Protocol (MCP) server that provides constraint solving capabilities using MiniZinc.
Tools
Functions exposed to the LLM to take actions
solve_constraint
General purpose constraint solver that accepts any MiniZinc model with optional data parameters, solver selection, and timeout configuration
Prompts
Interactive templates invoked by user choice
No prompts
Resources
Contextual data attached and managed by the client