MCPs Skills Docs Pricing

Smithery's MCP Proxy and managed identity shut down on October 31. See what's changing

Overview

Repository

Homepage

Published

License

Tool Calls

Overview

Repository

Homepage

Published

License

Tool Calls

Give agents more agency

Resources

Documentation Privacy Policy System Status

Company

Connect

© 2026 Smithery. All rights reserved.

V-Sekai-fire's Minizinc

V-Sekai-fire/minizinc-mcp

Solve constraint programming problems with MiniZinc.

No deployments found

Browse other servers