A tool for contract system developers. - View it on GitHub