ReSharper Annotations help reduce false positive warnings, explicitly declare purity and nullability in your code, deal with implicit usages of types and members, support special semantics of the APIs in ASP.NET and XAML frameworks and otherwise increase the accuracy of the code inspections in JetBrains .NET IDEs.
Available as an ordinary compiled nuget package and a source-code only package.