Code Contracts for mono?

Does mono support Code Contracts? I.e. if I build a class library, c开发者_运维问答an mono users use my assembly?

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

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.