Using the Code Contracts Editor Extensions for Visual Studio 2010, available as a free download as of today, you get code contract details in the IntelliSense pop-​​up of your contracted methods. Currently it only works with C# code.

Very nice!