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