У JetBrains есть фреймворк JetBrains.Annotations для .NET, который предоставляет набор полезных атрибутов.

Они выступают дополнительными метаданными для статического анализатора JB, который включён в их IDE и ReSharper, для самих разработчиков и даже для нейросетей, которые работают с этим кодом.

Какие атрибуты доступны, как и где ими воспользоваться — об этом кратко и с примерами по ссылкам: Habr | Dtf | VK