Microstrategy is in use at some large three letter agencies. Just a year or so ago I was almost on a project using it (thankfully I dodged that). I don't claim to really know much about it but from what I saw it was more of a reporting/BI use case for that specific project. It is absolutely not a data science tool and you're not going to see it mentioned alongside things like Databricks, Snowflake, etc. It is very old hat. Frankly, however, I think if Saylor had put half the energy he put into BTC into his company it may still have been relevant (or at least sold to someone relevant) at some point.