The number of Marvel comic heroes is constantly changing and growing. As of now, there are well over 8000 characters, but new ones are always being introduced.
Oh, yes! Marvel is not just a comic book series; it's a huge universe of comics with countless heroes, villains, and epic adventures. The series has grown and evolved over time, becoming a cultural phenomenon.
Krull was not a Marvel comic book. It had its own standalone story and creative background separate from Marvel's comic book lineup. Marvel has a vast range of characters and titles, but Krull wasn't among them.