LispSyntax-ACSet: Claude Code Skill for ACSet Serialization