SPECFORGE turns domain knowledge into something machines can build from.