r33drichards/minizinc-mcp
A Model Context Protocol (MCP) server that provides constraint solving capabilities using MiniZinc. This server exposes a single powerful tool for solving constraint satisfaction and optimization problems.
Overview
r33drichards/minizinc-mcp is a Python MCP server licensed under MIT. A Model Context Protocol (MCP) server that provides constraint solving capabilities using MiniZinc. This server exposes a single powerful tool for solving constraint satisfaction and optimization problems.
Ranked #21470 out of 25632 indexed tools.
Ecosystem
Python MIT
Signal Breakdown
Stars 3
Freshness 4mo ago
Issue Health 0%
Contributors 0
Dependents 0
Forks 0
Description Detailed
License MIT
How to Improve
Freshness high impact
Issue Health high impact
Contributors medium impact
Matched Queries
Are you the maintainer? Claim this listing