A modular framework for mechanism design and multi-agent reinforcement learning, supporting composable mechanisms, realistic benchmarks, and bilevel optimization.