Marvin. Marvin is a language build on (Mono) C# with the aim of native support for DCI. The specification for Marvin is for the largest extend identical to the C# specifications. DCI constructs such as roles, role contracts and role methods have been added