C# 用のメンテされ続けてる静的検査出来る契約プログラミング環境ってあるのかをGPT-4o miniさんに聞いたら、「現役のはたぶん無いけど、C# は、Roslynを使用してカスタムの静的解析ツールを作成することが出来るので自分で作ればおk」(意訳)というありがたいお言葉をいただけた＞＜(無茶言うな)