What is MiniZinc Complex Logic Solver?
MiniZinc Complex Logic Solver is a AI tool that Solve complex logic/optimization problems using MiniZinc syntax.. It has a Nerq Trust Score of 45/100 (D). 154 GitHub stars. Published by https://github.com/szeider/mcp-solver. Last analyzed September 2026.
Why This Score
- ⚠️ Security: 0/100 — Some security concerns
- ⚠️ Maintenance: 0/100 — Maintenance activity is low
- ⚠️ Community: 154 stars, 0 downloads — Growing community
- ⚠️ Transparency: License: Not specified — No license specified
Trust & Safety Overview
What MiniZinc Complex Logic Solver Does
MiniZinc Complex Logic Solver is a mcp_server in the AI tool category. Solve complex logic/optimization problems using MiniZinc syntax.. It is published by https://github.com/szeider/mcp-solver and has no specified license. With 154 GitHub stars and 0 downloads, it has a growing community of users and contributors.
Who Should Use MiniZinc Complex Logic Solver
MiniZinc Complex Logic Solver is recommended only for experimental use. Consider alternatives with higher trust scores for production systems.
Details
| Author | https://github.com/szeider/mcp-solver |
|---|---|
| Category | AI tool |
| License | Not specified |
| Type | mcp_server |
| Source | View on GitHub |
| Security Score | 0/100 |
| Activity Score | 0/100 |
How to Get Started
Check the trust score before installing:
curl nerq.ai/v1/preflight?target=minizinc-complex-logic-solver
Setup guide · Full safety report · Production review · Is it safe?
Safer Alternatives
| Tool | Trust | Stars |
|---|---|---|
| MarkItDown | 42 | 92.8K |
| Filesystem | 50 | 89.4K |
| Time | 50 | 89.4K |
| Fetch | 50 | 89.4K |
| Sequential Thinking | 50 | 89.4K |
Frequently Asked Questions
Last updated September 2026. Trust scores based on automated analysis of public data.