Search "foundations of mathematics" - Agent Skills | skills.rest