A set of Roslyn code analyzers for Machine.Specifications - View it on GitHub