Common names are often confusing, moreso with the spotted corydoras. I believe the fish you have is Corydoras trilineatus; here's a good site with photos and info. Corydoras trilineatus • Callichthyidae • Cat-eLog • PlanetCatfish
You will note it has a word on the differentiation between C. trilineatus and C. julii. And C. leopardus is another species similar in pattern.
Your green cory is I think Brochis splendens, not a true cory but a closely related genus with only three species. However, it has been suggested by some ichthyologists that the Brochis species be combined with certain of the larger Corydoras species into a new sub-genus, but I don't think this has yet occurred. Anyway, a closer photo would help, but the dorsal fin on your fish seems to be that of a Brochis; an external difference between Brochis species and Corydoras species is that Brochis has 10 or more rays in the dorsal [Brochis splendens is the only one of the three with 10-12 rays, the other two species have more than 12], while the Corydoras species all have seven rays. This makes the dorsal fin longer, more sail-like, which is what appears to be the case in your photos. Photo of B. splendens is attached [top photo], along with photo of C. anaeus (the true green cory) for comparison; it is easy to count the rays in both these photos.
B. splendens will get larger (just over 3 inches max length) than most Corydoras (2 inches is common for most species), so bear that in mind if you are thinking of adding to the number. And there should be a few more, since all species in both genera, along with the also closely-related Aspidoras genus, are shoaling fish that live in very large groups in the wild and feel much more "safe" when maintained in groups of 5 or more in aquaria.