A developer proposes agent-checked code contracts

A developer skeptical that all code will be formally verified is exploring a middle ground at code-contracts.cc: agent-based verification using structured, free-form specifications and invariants—conditions the code should preserve. The author says keeping these contracts alongside code prevents them from drifting out of sync, while automation enables ongoing checks and notifications about important violations. They argue that the contracts would also help people understand code changes faster, reducing demands on human attention.