I’d like to know what sort of hot peppers these are?

I’m having a hard time narrowing it down. They were grown in Colombia although I’m unsure if they’re native to there. They’re around the size of half a thumb on average, and used to make Aji. They’re also definitely spicier than a Jalapeño but thats all I can say for sure. Thanks in advance!!