Provides a language-agnostic way to express coding assumptions in .NET programs.
Publisher’s description
What is .NET CodeContracts?
.NET CodeContracts by Microsoft Corporation is open-source Windows software. It is written in C#.
Installation and requirements
The publisher provides MSI installers for 32-bit Windows. A silent install is possible with the installer’s documented switches. An MSI package is available for deployment with Group Policy, Intune or Configuration Manager.
Popularity and file types
The Chocolatey package has been downloaded 3,353 times. The source code on GitHub (microsoft/CodeContracts) has 893 stars.
Project description on GitHub: “Source code for the CodeContracts tools for .NET”
Pros / Cons
Pros
- Open source: the code can be inspected and built by anyone
- MSI package for managed deployment
- Documented silent install
Cons
- No native ARM64 build
- 32-bit only
- No update for more than a year
- Source repository archived
In short: .NET CodeContracts is an open-source Windows tool for 32-bit PCs. Updates have slowed down. Administrators can deploy it unattended.
Is .NET CodeContracts safe to download?
- The file is served by github.com, the publisher’s own domain
- The download link uses HTTPS
- A SHA256 hash is published, so you can verify the file:
5A2E44751A650A8442DFE1A41484E960B46EAA1A55B25672F6537A1D59015F5B· Open the VirusTotal report for this hash - The link has not been checked yet
- The source code is public
- ExeAtlas does not host, wrap or modify installers
Related guide: How to check a file’s SHA256 hash on Windows
Recent versions
All 1 versions ›| Version | Date | Size | Files |
|---|---|---|---|
| 1.10.20606.1Latest | June 6, 2016 | — | 32-bit MSI |
Install from the command line
Silent install ›winget install --id Microsoft.DotNet.CodeContracts -echoco install codecontracts -ymsiexec /i Contracts.devlab9ts.msi /qn /norestartmsiexec /x {4ED22F53-768D-4286-9F55-4927F1D67B4F} /qn /norestartRelated guide: How to use winget: install and update apps
Information
- Publisher
- Microsoft Corporation
- Licence
- MIT
- Price
- Free
- Source code
- github.com/microsoft/CodeContracts
- Written in
- C#
- Requires
- Windows 11 / 10
- Architecture
- 32-bit
- Installer
- MSI
- Version
- 1.10.20606.1
- Released
- June 6, 2016
- Added to the catalogue
- December 29, 2025
- Versions listed
- 1
- Chocolatey downloads
- 3,353
- GitHub stars
- 893
- GitHub forks
- 150
- Website
- github.com
- winget ID
- Microsoft.DotNet.CodeContracts
- Chocolatey package
- codecontracts
- MSI product code
- {4ED22F53-768D-4286-9F55-4927F1D67B4F}
Ratings and reviews
No reviews yet. Be the first to rate it.
Frequently asked questions
Is .NET CodeContracts free?
Yes. .NET CodeContracts is open-source software under the MIT licence.
Is .NET CodeContracts safe to download?
The download comes from github.com, which belongs to the publisher; ExeAtlas does not host or change the file. Compare its SHA256 hash with the one shown here, or open the VirusTotal report for that hash.
How do I install .NET CodeContracts with winget?
Open PowerShell or Windows Terminal and run the winget command shown on this page. winget downloads the official installer and checks its SHA256 hash before running it.
Can .NET CodeContracts be installed silently?
Yes. The silent install page lists the exact command for each installer, including msiexec for the MSI package.
Does .NET CodeContracts run on ARM (Windows on Arm)?
There is no ARM64 build; Windows 11 on Arm can run the 32-bit version through emulation.
