They actually use a python monolith unless it's changed recently. See e.g. https://instagram-engineering.com/static-analysis-at-scale-a...