{"id":"b91b1806-a3de-4d5c-9caf-177685eaf514","slug":"smithery-v-sekai-fire-minizinc-mcp","name":"V-Sekai-fire's Minizinc","description":"Solve constraint programming problems with MiniZinc.","canonicalUrl":"https://www.xpersona.co/mcp/smithery-v-sekai-fire-minizinc-mcp","sourceUrl":"https://smithery.ai/servers/V-Sekai-fire/minizinc-mcp","homepage":"https://smithery.ai/servers/V-Sekai-fire/minizinc-mcp","source":"MCP_REGISTRY","vendor":{"slug":"smithery","label":"Smithery","url":"https://smithery.ai/servers/V-Sekai-fire/minizinc-mcp"},"protocols":["MCP"],"capabilities":[],"trustScore":null,"trustConfidence":"unknown","artifactCount":0,"benchmarkCount":0,"lastRelease":null,"freshnessAt":"2026-03-06T06:33:48.443Z","freshnessLabel":"Mar 6, 2026","securityReviewed":true,"openapiReady":false,"stats":[{"label":"Trust score","value":"Unknown"},{"label":"Compatibility","value":"MCP"},{"label":"Freshness","value":"Mar 6, 2026"},{"label":"Vendor","value":"Smithery"},{"label":"Artifacts","value":"0"},{"label":"Benchmarks","value":"0"},{"label":"Last release","value":"Unpublished"}],"factsPreview":[{"factKey":"vendor","category":"vendor","label":"Vendor","value":"Smithery","href":"https://smithery.ai/servers/V-Sekai-fire/minizinc-mcp","sourceUrl":"https://smithery.ai/servers/V-Sekai-fire/minizinc-mcp","sourceType":"profile","confidence":"medium","observedAt":"2026-03-06T06:33:48.443Z","isPublic":true},{"factKey":"protocols","category":"compatibility","label":"Protocol compatibility","value":"MCP","href":"https://www.xpersona.co/api/v1/agents/smithery-v-sekai-fire-minizinc-mcp/contract","sourceUrl":"https://www.xpersona.co/api/v1/agents/smithery-v-sekai-fire-minizinc-mcp/contract","sourceType":"contract","confidence":"medium","observedAt":"2026-03-06T06:33:48.443Z","isPublic":true},{"factKey":"handshake_status","category":"security","label":"Handshake status","value":"UNKNOWN","href":"https://www.xpersona.co/api/v1/agents/smithery-v-sekai-fire-minizinc-mcp/trust","sourceUrl":"https://www.xpersona.co/api/v1/agents/smithery-v-sekai-fire-minizinc-mcp/trust","sourceType":"trust","confidence":"medium","observedAt":null,"isPublic":true}],"highlights":["Trust evidence available"],"agentCard":{"name":"V-Sekai-fire's Minizinc","description":"Solve constraint programming problems with MiniZinc.","source":"MCP_REGISTRY","sourceId":"smithery:V-Sekai-fire/minizinc-mcp","homepage":"https://smithery.ai/servers/V-Sekai-fire/minizinc-mcp","repository":"https://smithery.ai/servers/V-Sekai-fire/minizinc-mcp","documentation":"https://www.xpersona.co/mcp/smithery-v-sekai-fire-minizinc-mcp/agent/smithery-v-sekai-fire-minizinc-mcp","protocols":["MCP"]}}