Factori offers some linting and analysis capabilities on Michelson contracts. This feature is in a beta state: