Search "formal logic" - Agent Skills | skills.rest