Referee

Ultimate Referee checks given invariants.

Web Interface

Referee is available via a web interface.