title: Microsoft Code Contracts and CI build server
body: <p>We are migrating to .NET 4 and very interested in implementing new Design By Contract capabilities.  </p>
  
  <p>As we know <a href="http://research.microsoft.com/en-us/projects/contracts/" rel="noreferrer">Code Contract</a> engine requires installation of <a href="http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx" rel="noreferrer">Code Contract addin</a>
  <img src="https://i.stack.imgur.com/q4FbB.gif" alt="alt text"><br>
  and VS Ultimate or Premium (for static checking).  </p>
  
  <p>Here is my questions:  </p>
  
  <ol>
  <li>Can I use code contract rewriting
  without installing VS on CI build Server (TeamCity)?</li>
  <li>Is there any
  msbuild tasks to execute Contract checking?</li>
  <li>Do you use Code Contract's validation with CI builds?</li>
  </ol>