mage VS PacketProxy

Yeah, that surprised me too, given that https://github.com/magefree/mage is open source and pretty actively developed.

The project you want is http://xmage.today/

All cards available, and full rules engine.

My guess is that fully modeling MtG's rules in Datalog would take a lot more work, because MtG's rules are a lot more complex. Looking through the source for one of the freely-available game engines like https://github.com/magefree/mage would probably be more informative, though.

There's a draft every day, with events at different starting times to accommodate players from around the world, plus asynchronous side events including Rich Draft, Team Sealed, and Rotisserie Draft. We play on XMage which has full rules enforcement like MTGO but is 100% free software.

If you can tolerate some of its shortcomings, you can draft against bots on Xmage.

https://github.com/magefree/mage/issues is a more reliable place to report - this might not be a trivial fix

Update: My problem happened because the launcher had reverted to the non-beta xmage home address on its own. You probably have the same problem. You need to go to settings, set branch to custom, and the xmage home address to http://xmage.today/

Real life example: The open source implementation of MTG card game multiplayer

For the first step, they can use one of these applications: Burp Suite, Wireshark, Charles, Proxyman, Proxie, Packet Peeper, Broxy, Packet Proxy, among others.