An automatic checker to verify an Open Service Broker API implementation against the specification - View it on GitHub