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