SpecForge – A Platform for Authoring Formal Specifications • Hacker News Board

An AI-powered platform for developers to "forge" rigorous and precise system specifications through an iterative process of formalization and analysis.

https://imiron.io/specforge/

This title should maybe include that so people are aware that if you adopt this tool, there is some expectation that AI is involved, unless it's an AI optional product, then they need to clarify.

Re: SpecForge – A Platform for Authoring Formal Specifications

#8

Post by esafak » Wed, Jul 29, 2026, 3:53 PM UTC

From what I gather this marries a self-correcting formal specification based on Signal Temporal Logic (cf. https://en.wikipedia.org/wiki/Temporal_logic) with 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.

Re: SpecForge – A Platform for Authoring Formal Specifications

#9

Post by effnorwood » Wed, Jul 29, 2026, 7:00 PM UTC

SCRUM is that my PRD you?

Re: SpecForge – A Platform for Authoring Formal Specifications

#10

Post by OutOfHere » Wed, Jul 29, 2026, 9:10 PM UTC

effnorwood wrote: post #9

SCRUM is that my PRD you?

At least it too is Japanese.