ToolsSpecalyzerSpecalyzer Extract info from a specification. infoFind instructions on the Specalyzer GitHub repository.