How do you choose a proof assistant for a new project?

I'm starting a formalization project and trying to decide between the main proof assistants, but the choice seems to shape everything downstream.

I'd like to hear how others weigh library support, community size, and long-term maintenance when picking one.

What made you commit to the tool you use now?