Tank mates recommendations for a 10g planted betta tank

I won’t go for a bigger tank. The 10g is as big as I can get for a male betta. I think it is safe to say I can add Pygmy Cories? Is 4-5 all right to add? Here’s what I have in mind.

• 1 male betta
• 4-5 pygmy cories
• 1 nerite snail or mystery snail
• 4 amano or red cherry shrimps

It will be heavily planted with smooth lava rocks, a floating hammock for the betta and one of those 3D printed caves that are used for shrimps to hide.

I want to add neon green tetras, but I never had any type of Cory so that’s why I have pygmy cories on my stocking list.