Continue to https://github.com/crocs-muni/scrutiny/ to explore scrutiny.