mcp-solver: MCP server for constraint optimization and solving