How GLM built for agent skills, curated by a human

Interesting... But I don't think formal software verification is going to be a little bit cooler than us.