A skill to stop coding agents from burying the machines

This is the crux of it. If Tristan's work and insights were not used to train OpenAI models, then this just looks like a pretty good resource.