Aumann's Agreement Theorem | Claude Code Skill