V-Sekai-fire's Minizinc
Rank #46454smithery/V-Sekai-fire/minizinc-mcp
Solve constraint programming problems with MiniZinc.
V-Sekai-fire's Minizinc is a Model Context Protocol (MCP) server published by V-Sekai-fire. It ranks #46454 of 58,832 servers tracked on MCP Toplist, and its repository has 1 GitHub stars. V-Sekai-fire's Minizinc is listed on Smithery, and ships as a single rolling release with no explicit version metadata. It was first listed on Nov 11, 2025.
Ranks ahead of 12,378 of 58,832 servers on MCP Toplist.
Use V-Sekai-fire's Minizinc
V-Sekai-fire's Minizinc doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 1 registry
V-Sekai-fire
Other servers by V-Sekai-fire
View all V-Sekai-fire servers →Not versioned
This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is V-Sekai-fire's Minizinc?
- Solve constraint programming problems with MiniZinc.
- Who maintains V-Sekai-fire's Minizinc?
- V-Sekai-fire's Minizinc is maintained by V-Sekai-fire, which publishes 2 MCP servers (0 total versions) tracked on MCP Toplist.
- Is V-Sekai-fire's Minizinc an official MCP server?
- V-Sekai-fire's Minizinc is not on the Official MCP Registry. It is listed on Smithery.
- How many versions does V-Sekai-fire's Minizinc have?
- V-Sekai-fire's Minizinc ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for V-Sekai-fire's Minizinc?
- The source code for V-Sekai-fire's Minizinc is hosted at github.com/V-Sekai-fire/minizinc-mcp.