Code Contracts for mono?

Question

Does mono support Code Contracts? I.e. if I build a class library, can mono users use my assembly?

If not, are there any alternative libraries? Preferably supporting static analysis (through a plugin or similar in visual studio)

Answer 1

According to the compatability website, Monos Code Contracts API is done but the tooling is not yet complete.

EDIT: The newest version of Mono (2.8) only supports Contract.Requires calls and you have to rewrite you code with ccrewrite, link.