We are migrating to .NET 4 and very interested in implementing new Design By Contract capabilities.
As we know Code Contract engine requires installation of Code Contract addin

and VS Ultimate or Premium (for static checking).
Here is my questions:
- Can I use code contract rewriting without installing VS on CI build Server (TeamCity)?
- Is there any msbuild tasks to execute Contract checking?
- Do you use Code Contract's validation with CI builds?