Code Contracts is an open format for specifying structured assumptions and requirements colocated with source code using @cc directives in documentation comments or CONTRACTS files. It enables humans and AI agents to reason about behavior, catch violations, and maintain compliance more easily during code review and development.