Gay.jl Bisimulation Integration | Claude Code Skill