微信服务市场提供的小程序是供开发者购买和使用的吧，应该不是供用户下载和使用的。这些小程序主要是为企业或机构提供定制化的解决方案，满足特定的业务需求的。