Standalone MSBuild integration of CodeContracts (by Microsoft Research) - View it on GitHub