Search "proof patterns" - Agent Skills | skills.rest