X Module Bimodule - Claude Code Skill for Category Theory