symbolic-execution-tools · Скиллы · Claude Маркетплейс