Search "mathematical rigor" - Agent Skills | skills.rest