Collectible Card Game Headquarters

Hi. I have a question - what AI programm for playing magic is the best at the moment? (especially in terms of big card base and smart AI)

MTG Forge is the one with the most activity. Last time I tried (a year ago), the AI wasn't very challenging though.
The latest release has more than 800 cards.

Deckbot is probably the best in terms of AI, but I think the guy stopped the GUI development

Finally, if you have a PSP, you can give a try at my own game, Wagic, but the AI isn't interesting at the moment and the card base is light.

Magma has over 4,000 cards doesn't it? I recommend at least trying that.