Agent skill for compiling durable, verifiable goal contracts - View it on GitHub