Yes, cories are corydora catfish, but no, they aren't the huge things you're thinking of and they aren't messy. They are called "bottom feeders" as they are a good cleanup crew for any fish food that ends up on the bottom. Though they should be supplemented with sinking pellets.
Anyway, they only get about 2-3 inches, so you have nothing to worry about for your tank size. I love my peppered cories (4) to bits. They're in with my betta and I have no trouble. They are very cute to watch, though they should be in groups, not solo. I've heard at least three, but in your tank I'd get more. There are lots to chose from in the way of colors, but I'd get at least a few of each kind you pick.
If you go to wesellguns post above and click on his link to liveaquaria, you can then click on 'fish' at the top. Then click on freshwater, then chose 'catfish'. You'll get a better idea of what they look like, and what they need. I think you'd be happy with them.
Anyway, they only get about 2-3 inches, so you have nothing to worry about for your tank size. I love my peppered cories (4) to bits. They're in with my betta and I have no trouble. They are very cute to watch, though they should be in groups, not solo. I've heard at least three, but in your tank I'd get more. There are lots to chose from in the way of colors, but I'd get at least a few of each kind you pick.
If you go to wesellguns post above and click on his link to liveaquaria, you can then click on 'fish' at the top. Then click on freshwater, then chose 'catfish'. You'll get a better idea of what they look like, and what they need. I think you'd be happy with them.