Embedded developers rewriting common algorithms for each project due to lack of trusted implementations.
Build a marketplace for verified C components with machine-checkable proofs of correctness.
Sell to automotive/aerospace companies with high safety requirements.
Start with basic math/string functions.
Risk: Niche market with long sales cycles.