Eval Results — ndpvt-web/arxiv-claude-skills/doc2spec-synthesizing-formal-programming | verified-skill.com | vSkill