A Formal Language for Writing Agent Instructions: Matt Pocock's Skills v1.2.0
A twelve-minute walkthrough of five new skills and a major infrastructure update for the most-starred agent skills repository on GitHub — now 204K stars, MIT-licensed, and an official Claude Code marketplace plugin alongside new Codex sidecar files. The headliner is /wait-what for Opus verbosity, /grill-me with multi-question dependency graphs, and /wizard for deterministic provisioning — but the skill nobody called exciting is the one worth reading: /writing-for-agents, an 81-line formal language for designing instructions agents consume — context pointers, the two loads, information hierarchy, completion criteria, leading words, negation as a failure mode, and pruning.























