Protocol ACSet Claude Code Skill | P2P Protocol Modeling