Контракты кода для моно?

Поддерживает ли моно Контракты кода ? То есть, если я создаю библиотеку классов, могут ли пользователи моно использовать мою сборку?

Если нет, то есть ли какие-нибудь альтернативные библиотеки? Желательно поддерживать статический анализ (через плагин или аналогичный в Visual Studio)