Fish skulls and fluorocarbon leaders are hard and will chip a blade if it's made of hard materials so you would probably ruin a very expensive blade.Might be used to dispatch fish, or cut leader material. I just don't want to have baby the edge...
Might even use it at home for other things when not diving (fishing, etc)
Tungsten Carbide is one of the hardest materials available so it should be durable too.
It's apparently pretty hard to work with which is probably why there aren't very many of them; but a full marine environment seems like a good use case.
I'll have a look at the H1 steel, thanks
Get something like a mora knife and just throw it away after it rusts in 2 years or so.