Search "z3 solver" - Agent Skills | skills.rest