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