minizinc-mcp vs Prompeteer
minizinc-mcp lists no tools and runs locally and Prompeteer lists no tools and runs remotely.
| Fact | minizinc-mcpio.github.carban/minizinc-mcp | Prompeteerio.github.prompeteer/prompeteer-mcp |
|---|---|---|
| Score | Not checked yet | Not checked yet |
| Status | Not checked yet | Not checked yet |
| Tools | 0 | 0 |
| Can write data | No tools listed | No tools listed |
| Runs | Local | Remote |
| Needs first | uv | – |
| Licence | MIT | MIT |
| Latest version | 0.1.0 | 2.0.3 |
| Known advisories | 0 | 0 |
| Works in | Claude Desktop, Claude Code, Cursor, VS Code, Devin Desktop, Zed, Cline, Continue, Goose, LM Studio, Gemini CLI, Codex, mcp-client-cli, oterm, TUUI, BoltAI, Agenvoy, Amp, AnythingLLM, Augment Code, Bob Shell, ECA, Kiro, Kiro CLI | Claude Desktop, Claude Code, Cursor, VS Code, Devin Desktop, Zed, Cline, Continue, Goose, LM Studio, Gemini CLI, Codex, oterm, Agenvoy, Amp, AnythingLLM, Augment Code, Bob Shell, ECA, Kiro, Kiro CLI |
| Downloads last week | Not known | 1,268 |
| Install | Install minizinc-mcp | Install Prompeteer |
Scores and status come with our own checks, which have not run on these servers yet. The rest is from the publishers' registry entries, package registries and advisory databases.
Compare minizinc-mcp with othersCompare Prompeteer with others