An experiment generating a protocol spec from natural language source with LLM | Heykuki News