The human-assisted cyber reasoning system - View it on GitHub