Search "proof by contradiction" - Agent Skills | skills.rest