Search "theorem-proving" - Agent Skills | skills.rest