From what I gather this bolts on a self-correcting formal specification based on Signal Temporal Logic (cf. https://en.wikipedia.org/wiki/Temporal_logic), to a natural language requirement definition (like OpenSpec).

STL is a spec for continuous, real-time signals over dense time that is appropriate for physical devices and real-time streams. See the "Use Cases for Integration" section in their landing page: https://imiron.io/specforge/

If I were them I would lead with how they differ from existing spec languages.