This stack overflow question:
Microsoft Code Contracts and CI build server
asks how to get code contracts working on a build server without installing Visual Stu
Here's my solution. It's based on issue #368 and stackoverflow:Microsoft Code Contracts without Visual Studio
$([System.IO.Path]::GetFullPath('$(MSBuildThisFileDirectory)..\packages\DotNet.Contracts.1.10.20606.1\'))`